HACK: Fix URIs by hand in the HTML.

docbook / docbook.org

Sources for http://docbook.org/

11 stars 7 forks source link

HACK: Fix URIs by hand in the HTML. #29

Closed ndw closed 6 years ago

ndw commented 6 years ago

I'm not prepared to work out how to run the XSLT 1.0 stylesheets to make these fixes. I've used a combination of shell commands and sed to patch the URIs.

ndw commented 6 years ago

This "fixes" #27

kosek commented 6 years ago

On my cellphone patch seems fine. Thanks.