klisp

commit 72b389eb0fe94b7333c14b5e64e1a5532cf6e501
parent 33a4f67d838424dc807bb2be095b2dd7fd9896b4
Author: Andres Navarro <canavarro82@gmail.com>
Date:   Thu, 26 May 2011 19:41:26 -0300

Added Makefile to generate manual in info and hmtl format.

Diffstat:
M
manual/klisp.info
 | 
46
++++++++++++++++++++++++++++++----------------
A
manual/src/Makefile
 | 
21
+++++++++++++++++++++

2 files changed, 51 insertions(+), 16 deletions(-)
diff --git a/manual/klisp.info b/manual/klisp.info
@@ -1,5 +1,5 @@
-This is klisp.info, produced by makeinfo version 4.13 from
-src/klisp.texi.
+This is ../klisp.info, produced by makeinfo version 4.13 from
+klisp.texi.
 
 This file documents klisp.
 
@@ -350,25 +350,39 @@ Index
 
 * Menu:
 
+* applicative descriptions:              A Sample Applicative Description.
+                                                               (line  6)
+* description format:                    Format of Descriptions.
+                                                               (line  6)
+* documentation notation:                Evaluation Notation.  (line  6)
+* error message notation:                Error Messages.       (line  6)
+* evaluation notation:                   Evaluation Notation.  (line  6)
+* fonts:                                 Some Terms.           (line 13)
 * foo:                                   A Sample Applicative Description.
                                                                (line 15)
+* Kernel history:                        Kernel History.       (line  6)
+* object descriptions:                   A Sample Applicative Description.
+                                                               (line  6)
+* operative descriptions:                A Sample Applicative Description.
+                                                               (line  6)
+* printing notation:                     Printing Notation.    (line  6)
 
 
 
 Tag Table:
-Node: Top303
-Node: License874
-Node: Introduction2545
-Node: Caveats5351
-Node: Kernel History6133
-Node: Conventions7571
-Node: Some Terms8241
-Node: Evaluation Notation8910
-Node: Printing Notation9651
-Node: Error Messages10127
-Node: Format of Descriptions10773
-Node: A Sample Applicative Description11336
-Node: Acknowledgements12992
-Node: Index13377
+Node: Top302
+Node: License873
+Node: Introduction2544
+Node: Caveats5350
+Node: Kernel History6132
+Node: Conventions7570
+Node: Some Terms8240
+Node: Evaluation Notation8909
+Node: Printing Notation9650
+Node: Error Messages10126
+Node: Format of Descriptions10772
+Node: A Sample Applicative Description11335
+Node: Acknowledgements12991
+Node: Index13376
 
 End Tag Table
diff --git a/manual/src/Makefile b/manual/src/Makefile
@@ -0,0 +1,21 @@
+# Makefile for the klisp manual
+# some of this is from the elisp manual
+
+srcs = klisp.texi intro.texi \
+  index.texi
+
+#TODO add dvi/pdf output
+#TODO check what happens with xrefs
+
+.PHONY: all clean
+
+all:	clean info html
+
+info: $(srcs)
+	makeinfo -o ../klisp.info klisp.texi
+
+html: $(srcs)
+	makeinfo --html -o ../html klisp.texi
+
+clean:
+	rm -r -f ../klisp.info ../html