diff options
Diffstat (limited to 'libraries/wvstreams/patches/03_html_sgml.diff')
| -rw-r--r-- | libraries/wvstreams/patches/03_html_sgml.diff | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/libraries/wvstreams/patches/03_html_sgml.diff b/libraries/wvstreams/patches/03_html_sgml.diff new file mode 100644 index 0000000000..85e6ab2cee --- /dev/null +++ b/libraries/wvstreams/patches/03_html_sgml.diff @@ -0,0 +1,18 @@ +Description: use .html extension for HTML documentation files + Define %html-ext% to ".html" while building HTML documentation, since current + docbook-dsssl appears to default to ".htm". +Author: Matthias Klose <doko@debian.org> +Forwarded: no +Last-Update: 2013-10-30 + +--- a/Docs/sgmlmanual/HTML.dsl ++++ b/Docs/sgmlmanual/HTML.dsl +@@ -10,7 +10,7 @@ + ;; your stuff goes here... + ;;(define %gentext-nav-use-ff% 1) + (define %use-id-as-filename% 1) +- ++(define %html-ext% ".html") + + </style-specification-body> + </style-specification> |