diff options
author | Glenn Morris <rgm@gnu.org> | 2013-06-18 20:49:26 -0700 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2013-06-18 20:49:26 -0700 |
commit | 789cf83370bc2485ec5d40b076e75d0ba0a499fc (patch) | |
tree | 41032736edb398c49aa4d5c42f484f4c999ff532 /doc/lispintro/Makefile.in | |
parent | ad5281251b55cc7e872bb6b0a2ab7871f024a1b2 (diff) | |
download | emacs-789cf83370bc2485ec5d40b076e75d0ba0a499fc.tar.gz emacs-789cf83370bc2485ec5d40b076e75d0ba0a499fc.tar.bz2 emacs-789cf83370bc2485ec5d40b076e75d0ba0a499fc.zip |
Edit more configure variables in doc make dist rules.
* doc/emacs/Makefile.in (dist):
* doc/lispintro/Makefile.in (dist):
* doc/lispref/Makefile.in (dist): Edit more configure variables.
Try to check that we do not miss any in future.
Fixes: debbugs:14660
Diffstat (limited to 'doc/lispintro/Makefile.in')
-rw-r--r-- | doc/lispintro/Makefile.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/lispintro/Makefile.in b/doc/lispintro/Makefile.in index 338b4ad86c4..80987d359b7 100644 --- a/doc/lispintro/Makefile.in +++ b/doc/lispintro/Makefile.in @@ -19,6 +19,8 @@ SHELL = /bin/sh +# NB If you add any more configure variables, +# update the sed rules in the dist target below. srcdir = @srcdir@ version=@version@ @@ -107,8 +109,12 @@ dist: -e 's/^\(buildinfodir *=\).*/\1 ./' \ -e 's/^\(clean:.*\)/\1 infoclean/' \ -e "s/@ver[s]ion@/${version}/" \ + -e 's/@MAKE[I]NFO@/makeinfo/' -e 's/@MK[D]IR_P@/mkdir -p/' \ + -e 's/@IN[F]O_EXT@/.info/' -e 's/@IN[F]O_OPTS@//' \ ${srcdir}/Makefile.in > emacs-lispintro-${version}/Makefile tar -cf emacs-lispintro-${version}.tar emacs-lispintro-${version} + @grep '@[A-Z]*@' emacs-lispintro-${version}/Makefile && \ + echo "WARNING: Unexpanded configure variables in Makefile?" || true rm -rf emacs-lispintro-${version} ### Makefile ends here |