From 0702539ad300891ca5590aa552d893fe1561505c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 25 Nov 1998 13:04:51 +0000 Subject: Replaced ProofGeneral.texi with NewDoc.texi. Deleted NewDoc.texi --- doc/Makefile | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'doc/Makefile') diff --git a/doc/Makefile b/doc/Makefile index fa3020fa..7401acfe 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -67,20 +67,21 @@ info: $(DOCNAME).info clean: rm -f $(DOCNAME).?? $(DOCNAME).fns $(DOCNAME).vrs $(DOCNAME).cps rm -f $(DOCNAME).aux $(DOCNAME).log $(DOCNAME).toc $(DOCNAME).cp0 + rm -f $(DOCNAME).kys rm -f *~ ## ## distclean: Remove documentation targets ## distclean: clean - rm -f $(DOCNAME).info* $(DOCNAME).dvi $(DOCNAME).pdf $(DOCNAME)*.html + rm -f $(DOCNAME).info* $(DOCNAME).dvi $(DOCNAME)*.ps $(DOCNAME).pdf $(DOCNAME)*.html ## -## magic: update magic comments in NewDoc.texi from docstrings in code. +## texi: update magic comments in texi from docstrings in code. ## (developer use only!) ## -magic: - $(EMACS) -l docstring-magic.el NewDoc.texi -f texi-docstring-magic -f save-buffer +$(DOCNAME).texi: ../*/*.el + $(EMACS) -l docstring-magic.el $(DOCNAME).texi -f texi-docstring-magic -f save-buffer -- cgit v1.2.3