chiark / gitweb /
Ability to build a .CHM for Puzzles. I haven't yet arranged for it
authorSimon Tatham <anakin@pobox.com>
Sat, 23 Dec 2006 08:44:51 +0000 (08:44 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 23 Dec 2006 08:44:51 +0000 (08:44 +0000)
to be used by the Windows binaries; that's the next step.

[originally from svn r7006]

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

index 677bc8ecfc163ac33d8f9d647834b581e1507768..ff673574fd1ddeb143593f1fb61237a8743eeb38 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%; }