# HG changeset patch # User Mike Miller # Date 1468952876 25200 # Node ID da413c03920c73c6db8d744a9d5f45b6f7b6ab97 # Parent ef91e43f162ab4ccc7e894f54c6a4955a9725b39 distribute deprecated-config.h source file * libinterp/module.mk (libinterp_EXTRA_DIST): Include libinterp/deprecated-config.h in the list. diff -r ef91e43f162a -r da413c03920c libinterp/module.mk --- a/libinterp/module.mk Tue Jul 19 12:07:34 2016 -0400 +++ b/libinterp/module.mk Tue Jul 19 11:27:56 2016 -0700 @@ -83,6 +83,7 @@ libinterp/DOCSTRINGS \ libinterp/build-env.in.cc \ libinterp/build-env-features.sh \ + libinterp/deprecated-config.h \ libinterp/gendoc.pl \ libinterp/genprops.awk \ libinterp/liboctinterp-build-info.in.cc \