diff options
Diffstat (limited to 'docs/.gitignore')
-rw-r--r-- | docs/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/.gitignore b/docs/.gitignore index 8b8538c..deefdf5 100644 --- a/docs/.gitignore +++ b/docs/.gitignore @@ -1,6 +1,7 @@ /doc-install.pl /doc-postprocess.pl /doxygen.css +/doxygen-extra.css /tagfile-to-devhelp2.xsl /manual/html/ /reference/html/ |