From c4a35e9d2de18aeee0715b0cd5f25fb9be40dd23 Mon Sep 17 00:00:00 2001 From: mainzelm Date: Tue, 8 Jan 2002 18:34:47 +0000 Subject: [PATCH] Take doc/src/manual.dvi and doc/src/manual.ps into the distribution. --- Makefile.in | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index 1d831ed..6c6baf9 100644 --- a/Makefile.in +++ b/Makefile.in @@ -463,7 +463,8 @@ tags: DISTFILES = README COPYING INSTALL RELEASE configure config.sub config.guess \ acconfig.h configure.in Makefile.in install-sh \ doc/*.ps doc/*.txt doc/html/*.html \ - doc/src/*.tex doc/src/*.sty \ + doc/src/*.tex doc/src/*.sty doc/src/manual.dvi \ + doc/src/manual.ps \ emacs/README build/*-version-number build/*.exec \ build/*.lisp build/build-usual-image build/filenames.make \ build/filenames.scm build/initial.debug \