diff --git a/doc/.gitignore b/doc/.gitignore index cb29aa609..af1b7aec2 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,13 +1,14 @@ -api -web *.tmp *.html *.pdf *.xml *.1 *.5 -command-options.txt -import-features.conf.txt +api +web +features.txt keymap-actions.txt keymap-defaults.txt manual.html-chunked +option-command.txt +option-config.txt