search

docbook / docbook.org

Sources for http://docbook.org/
11 stars 7 forks source link

Fix publish script #2

Closed ndw closed 7 years ago

ndw commented 7 years ago

Fix the publish script so that it will work for different users and publish the CNAME file if appropriate.