]> gitweb.michael.orlitzky.com - hath.git/commitdiff
makefile: remove "hscolour" from the docs build.
authorMichael Orlitzky <michael@orlitzky.com>
Mon, 4 Mar 2019 03:10:40 +0000 (22:10 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Mon, 4 Mar 2019 03:10:40 +0000 (22:10 -0500)
Apparently this is not needed any longer, and I'm getting warned that
it's deprecated.


No differences found