diff options
author | Matthias Clasen <mclasen@redhat.com> | 2004-04-16 18:52:01 +0000 |
---|---|---|
committer | Matthias Clasen <matthiasc@src.gnome.org> | 2004-04-16 18:52:01 +0000 |
commit | 07971801371971f69b03c190d91aab4e5177e5c5 (patch) | |
tree | 2a322d943c5a421e994b9c541af073200d1003fc /gtkdoc-mkhtml.in | |
parent | 6c675ed86f5cf974d4e4c33e8005ddaaff72c658 (diff) | |
download | gtk-doc-07971801371971f69b03c190d91aab4e5177e5c5.tar.gz |
Style information in a separate stylesheet.
2004-04-16 Matthias Clasen <mclasen@redhat.com>
* style.css: Style information in a separate stylesheet.
* gtkdoc-mkhtml.in: Copy css files.
* Makefile.am (gtkdocdata_DATA): Add style.css
* gtk-doc.xsl: Use a stylesheet instead of hardwiring
styles. (#134683, Vincent Torri)
Diffstat (limited to 'gtkdoc-mkhtml.in')
-rw-r--r-- | gtkdoc-mkhtml.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtkdoc-mkhtml.in b/gtkdoc-mkhtml.in index 53f0b54..f949390 100644 --- a/gtkdoc-mkhtml.in +++ b/gtkdoc-mkhtml.in @@ -46,6 +46,7 @@ fi # copy navigation images to html directory ... cp -f $gtkdocdir/*.png . +cp -f $gtkdocdir/*.css . echo "timestamp" > ../html.stamp |