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

---
 doc/Makefile           | 12 +++++++++---
 doc/docstring-magic.el | 13 +++++++++++++
 2 files changed, 22 insertions(+), 3 deletions(-)
 create mode 100644 doc/docstring-magic.el

(limited to 'doc')

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
+
 
 
 
diff --git a/doc/docstring-magic.el b/doc/docstring-magic.el
new file mode 100644
index 00000000..b36643ce
--- /dev/null
+++ b/doc/docstring-magic.el
@@ -0,0 +1,13 @@
+;; Ensure that non-compiled versions of everything is loaded
+(setq load-path
+      (append
+       '("../generic/" "../isa/" "../lego/" "../coq/") load-path))
+(load "proof-site.el")
+(load "proof-config.el")
+(load "proof.el")
+(load "isa.el")
+(load "thy-mode.el")
+(load "coq.el")
+(load "lego.el")
+
+(load "texi-docstring-magic.el")
\ No newline at end of file
-- 
cgit v1.2.3