[AUCTeX-commit] Changes to reftex/doc/Makefile,v

[Ralf Angeli]

CVSROOT:        /sources/auctex
Module name:    reftex
Changes by:     Ralf Angeli <angeli>    07/03/10 16:28:49

Index: Makefile
===================================================================
RCS file: /sources/auctex/reftex/doc/Makefile,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -b -r1.5 -r1.6
--- Makefile    8 Mar 2007 22:05:54 -0000       1.5
+++ Makefile    10 Mar 2007 16:28:49 -0000      1.6
@@ -29,7 +29,13 @@
 DVIPS=dvips
 INSTALL_INFO=install-info
 TEXIFILES=reftex.texi changes.texi install.texi version.texi
-DISTTEXTS=../CHANGES
+DISTTEXTS=../CHANGES ../INSTALL
+MAKEDISTTEXTHEADER="echo -e \"This is the `echo $@ | tr -d ./` \
+file for the RefTeX distribution.\n\n\
+`sed -n 's/@c \(Copyright (C).*\)/ \1/p' $<`\n\n  Copying\
+and distribution of this file, with or without modification,\n  are\
+permitted in any medium without royalty provided the copyright\n  notice\
+and this notice are preserved.\n\" >$@"
 
 .PHONY: all info dvi ps pdf html install dist clean maintainer-clean
 
@@ -75,10 +81,12 @@
 dist: $(DISTTEXTS) reftex.info
 
 ../CHANGES: changes.texi
-       $(MAKEINFO) $(MAKEINFO_PLAIN) changes.texi --output $@
+       eval $(MAKEDISTTEXTHEADER)
+       $(MAKEINFO) $(MAKEINFO_PLAIN) changes.texi >>$@
 
 ../INSTALL: install.texi
-       $(MAKEINFO) $(MAKEINFO_PLAIN) install.texi --output $@
+       eval $(MAKEDISTTEXTHEADER)
+       $(MAKEINFO) $(MAKEINFO_PLAIN) install.texi >>$@
 
 version.texi: ../ChangeLog
        REFTEXDATE=`sed -n '1s/^\([-0-9][-0-9]*\).*/\1/p' ../ChangeLog` ; \