benoit feb6b7528c Update to htmldoc-1.9.7.

2020-01-14 15:59:28 +00:00

..

patch-configure

…

patch-htmldoc_file_c

…

patch-htmldoc_http_c

…

patch-htmldoc_ps-pdf_cxx

Work around an LLVM 8.0.0 optimizer bug that causes htmldoc to spin.

2019-06-23 22:54:06 +00:00

patch-Makedefs_in

Update to htmldoc-1.9.7.

2020-01-14 15:59:28 +00:00