chiark / gitweb /
Switch to using Halibut's new direct .CHM generation.
authorSimon Tatham <anakin@pobox.com>
Sat, 13 May 2017 17:55:52 +0000 (18:55 +0100)
committerSimon Tatham <anakin@pobox.com>
Sat, 13 May 2017 19:20:23 +0000 (20:20 +0100)
commit7bdfda840962e0de7442c4f58d37ca1f560a5797
tree0df5d2f5839e77e0d1af52eedad639812b1db240
parentcce13ed7129a06fe7454f9e10906cb6663de45f7
Switch to using Halibut's new direct .CHM generation.

This allows me to remove HTML Help Workshop completely from my build
dependencies, and good riddance!
Buildscr
Makefile.doc
chm.but [deleted file]
puzzles.but