aboutsummaryrefslogtreecommitdiff
path: root/doc/user/user.skb
diff options
context:
space:
mode:
authorLudovic Courtès2008-12-07 21:12:14 +0100
committerLudovic Courtès2008-12-07 21:19:05 +0100
commit6c56789db06e659a344fb384711433bb9ad9aaf0 (patch)
tree2ba5a4bd78a0839489fde59b1e691485a6dbffea /doc/user/user.skb
parent211fac7955fca91cc840a01543758c4e687bc12c (diff)
downloadskribilo-6c56789db06e659a344fb384711433bb9ad9aaf0.tar.gz
skribilo-6c56789db06e659a344fb384711433bb9ad9aaf0.tar.lz
skribilo-6c56789db06e659a344fb384711433bb9ad9aaf0.zip
doc: Produce user manual in Info format.
* doc/user/Makefile.am (skrinfodir, skrinfo_DATA): New. (skribilo.info): New target. * doc/user/user.skb: Don't produce a TOC nor an index when using the Info engine.
Diffstat (limited to 'doc/user/user.skb')
-rw-r--r--doc/user/user.skb6
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/user/user.skb b/doc/user/user.skb
index d63b8c2..d4efaf4 100644
--- a/doc/user/user.skb
+++ b/doc/user/user.skb
@@ -238,7 +238,8 @@ of documentation ``evaluation''.])))
;;; table of contents
(resolve (lambda (n e env)
(cond ((and (not (engine-format? "latex" e))
- (not (engine-format? "lout" e)))
+ (not (engine-format? "lout" e))
+ (not (engine-format? "info" e)))
(list
(and (not (engine-format? "html" e))
(chapter :title "Table of Contents"
@@ -250,7 +251,8 @@ of documentation ``evaluation''.])))
*function-index* *package-index*
(default-index)))))
- ((not (engine-format? "lout" e))
+ ((and (not (engine-format? "lout" e))
+ (not (engine-format? "info" e)))
(chapter :title "Index" :ident "Index"
(mark "global index")
(the-index :column (if (engine-format? "latex") 2 3)