diff options
| author | Graeme Geldenhuys <graemeg@gmail.com> | 2015-03-29 18:25:15 +0100 |
|---|---|---|
| committer | Graeme Geldenhuys <graemeg@gmail.com> | 2015-03-29 18:25:15 +0100 |
| commit | 591ef0b520179051d7cea1abf887eb442c1aefa5 (patch) | |
| tree | 23eb2ca84eb93e26d31050e00cf55f6491bea21f /docs | |
| parent | df9cb36458f781c55dad14351a224ea84bf90ebe (diff) | |
| download | fpGUI-591ef0b520179051d7cea1abf887eb442c1aefa5.tar.xz | |
docs: specify our own CSS file when we generate HTML output
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/fpgui-docs-project.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/fpgui-docs-project.xml b/docs/fpgui-docs-project.xml index 83309a7e..c0e32b18 100644 --- a/docs/fpgui-docs-project.xml +++ b/docs/fpgui-docs-project.xml @@ -155,6 +155,7 @@ ## Options for HTML output <option name="footer-date" value="yyyy-mm-dd"/> + <option name="css-file" value="fpdoc.css"/> --> </options> </docproject> |