diff options
author | Anthony Fok <foka@debian.org> | 2015-12-27 18:15:33 +0100 |
---|---|---|
committer | Guido Günther <agx@sigxcpu.org> | 2015-12-27 18:27:59 +0100 |
commit | 96df9e3c6194c1482da21e9567ec1258d5d79743 (patch) | |
tree | 014ae6174179c2aedc6f1fd3ea2f7d5240d0b474 | |
parent | 597e04022ace28a7ce78a5cc429dca31a4d1196c (diff) |
docs: Restore coloured background for <programlisting> in docs
by using lower case class names.
Closes: #gh14
-rw-r--r-- | docs/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile index e6a349f1..581e0a15 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -40,6 +40,7 @@ ifeq ($(HAVE_SGML2X),1) else docbook2html -d local-nosgml2x.dsl -c $(GTK_DOC_CATALOG_FILE) -o $(MANUAL) $< endif + sed -i 's/^CLASS="[A-Z0-9]\+"/\L&/' manual-html/*.html cp /usr/share/gtk-doc/data/*.png $(MANUAL) # We build manpages under 'buildxref/' just to get an updated cross-reference |