diff make-dist @ 5322:f2e4b574a4e9

Put man/getopt.c in the dist.
author Richard M. Stallman <rms@gnu.org>
date Fri, 24 Dec 1993 02:34:25 +0000
parents 810820d03e24
children e034ade52ca0
line wrap: on
line diff
--- a/make-dist	Fri Dec 24 02:28:35 1993 +0000
+++ b/make-dist	Fri Dec 24 02:34:25 1993 +0000
@@ -276,7 +276,7 @@
  test -f README && ln README ../${tempdir}/man
  test -f Makefile && ln Makefile ../${tempdir}/man
  ln ChangeLog split-man ../${tempdir}/man
- cp texinfo.tex texindex.c ../${tempdir}/man
+ cp texinfo.tex texindex.c getopt.c ../${tempdir}/man
  cd ../${tempdir}/man
  rm -f \#*\# =* *~ core emacs-index* *.Z *.z xmail
  rm -f emacs.?? termcap.?? gdb.?? *.log *.toc *.dvi *.oaux)