chiark / gitweb /
Revert "Switch to using Halibut's new direct .CHM generation."
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 24 Sep 2017 13:38:29 +0000 (14:38 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 24 Sep 2017 13:42:14 +0000 (14:42 +0100)
commit2782d22934a449065c9d9a8bd04adab3ba5d58b3
treee4aa8cfd167b85f1d5ab8f213d4be3fddbc90c17
parent08927a3b285307a7f1dca250277e2ef8597180ea
Revert "Switch to using Halibut's new direct .CHM generation."

This reverts commit 7bdfda840962e0de7442c4f58d37ca1f560a5797.

Conflicts:
Buildscr
Makefile.doc
Makefile.doc
chm.but [new file with mode: 0644]
puzzles.but