From: simon <simon@cda61777-01e9-0310-a592-d414129be87e>
Date: Sat, 23 Dec 2006 08:44:51 +0000 (+0000)
Subject: Ability to build a .CHM for Puzzles. I haven't yet arranged for it
X-Git-Url: https://git.distorted.org.uk/~mdw/sgt/puzzles/commitdiff_plain/05c7e653ee7a666bb0582e304e51334f4c51553e

Ability to build a .CHM for Puzzles. I haven't yet arranged for it
to be used by the Windows binaries; that's the next step.


git-svn-id: svn://svn.tartarus.org/sgt/puzzles@7006 cda61777-01e9-0310-a592-d414129be87e
---

diff --git a/Makefile.doc b/Makefile.doc
index 677bc8e..ff67357 100644
--- a/Makefile.doc
+++ b/Makefile.doc
@@ -5,3 +5,10 @@ puzzles.hlp puzzles.txt: puzzles.but
 
 HACKING: devel.but
 	halibut --text=HACKING devel.but
+
+chm: puzzles.hhp
+puzzles.hhp: puzzles.but chm.but
+	halibut --html puzzles.but chm.but
+
+clean:
+	rm -f puzzles.hlp puzzles.txt HACKING *.html *.hh[pck]
diff --git a/chm.but b/chm.but
new file mode 100644
index 0000000..a28384d
--- /dev/null
+++ b/chm.but
@@ -0,0 +1,23 @@
+\# File containing the magic HTML configuration directives to create
+\# an MS HTML Help project. We put this on the end of the Puzzles
+\# docs build command line to build the HHP and friends.
+
+\cfg{html-leaf-level}{infinite}
+\cfg{html-leaf-contains-contents}{false}
+\cfg{html-suppress-navlinks}{true}
+\cfg{html-suppress-address}{true}
+
+\cfg{html-contents-filename}{index.html}
+\cfg{html-template-filename}{%k.html}
+\cfg{html-template-fragment}{%k}
+
+\cfg{html-mshtmlhelp-chm}{puzzles.chm}
+\cfg{html-mshtmlhelp-project}{puzzles.hhp}
+\cfg{html-mshtmlhelp-contents}{puzzles.hhc}
+\cfg{html-mshtmlhelp-index}{puzzles.hhk}
+
+\cfg{html-body-end}{}
+
+\cfg{html-head-end}{<link rel="stylesheet" type="text/css" href="chm.css">}
+
+\versionid $Id$
diff --git a/chm.css b/chm.css
new file mode 100644
index 0000000..d8c316b
--- /dev/null
+++ b/chm.css
@@ -0,0 +1,7 @@
+/* Stylesheet for a Windows .CHM help file */
+
+body { font-size: 75%; font-family: Verdana, Arial, Helvetica, Sans-Serif; }
+
+h1 { font-weight: bold; font-size: 150%; }
+h2 { font-weight: bold; font-size: 130%; }
+h3 { font-weight: bold; font-size: 120%; }