Ability to build a .CHM for Puzzles. I haven't yet arranged for it
authorsimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Sat, 23 Dec 2006 08:44:51 +0000 (08:44 +0000)
committersimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Sat, 23 Dec 2006 08:44:51 +0000 (08:44 +0000)
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

Makefile.doc
chm.but [new file with mode: 0644]
chm.css [new file with mode: 0644]

index 677bc8e..ff67357 100644 (file)
@@ -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 (file)
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 (file)
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%; }