From cf5ae448a22d2ef8e2b45752d4a79c2a186c322c Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 25 Nov 1998 12:29:39 +0000
Subject: Magic docstring -> texi conversion.

---
 doc/Makefile | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

(limited to 'doc/Makefile')

diff --git a/doc/Makefile b/doc/Makefile
index 9a2f0cbb..736d0761 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -21,7 +21,8 @@ MAKEINFO = makeinfo
 TEXI2DVI = texi2dvi
 DVI2PS = dvips
 TEXI2PDF = texi2pdf
-TEXI2HTML = texi2html 
+TEXI2HTML = texi2html
+EMACS = xemacs -batch
 
 .SUFFIXES:  .texi .info .dvi .html .pdf .ps
 
@@ -41,8 +42,6 @@ TEXI2HTML = texi2html
 .texi.html:	
 	$(TEXI2HTML) $< 
 
-
-
 ## 
 ## doc : build info and dvi files from $(DOCNAME).texi
 ##
@@ -76,6 +75,13 @@ clean:
 distclean:   clean
 	rm -f $(DOCNAME).info* $(DOCNAME).dvi $(DOCNAME).pdf $(DOCNAME)*.html
 
+##
+## magic: update magic comments in NewDoc.texi from docstrings in code.
+##	  (developer use only!)
+##
+magic:
+	$(EMACS) -l docstring-magic.el NewDoc.texi -f daves-docstring-magic -f save-buffer
+
 
 
 
-- 
cgit v1.2.3