diff options
Diffstat (limited to 'doc/.gitignore')
-rw-r--r-- | doc/.gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index 7b6d42a..da1819d 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,5 +1,10 @@ bpkg*.xhtml +bpkg*.tex bpkg*.1 build2-package-manager-manual*.ps build2-package-manager-manual*.pdf build2-package-manager-manual.xhtml +build2-package-manager-manual*.tex +*.ps +*.pdf + |