diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2018-03-01 16:37:07 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-03-01 16:37:07 +0200 |
commit | 100150a3598d931fbbee361c33374cd5b95a8d86 (patch) | |
tree | dafe8fdd5acd73c3832756faccad0a34c8f807ee /doc/.gitignore | |
parent | deb9b06626141481681cd82e08eddb6627a9a81c (diff) |
Setup documentation infrastructure
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 new file mode 100644 index 0000000..66632ae --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1,5 @@ +bdep*.xhtml +bdep*.1 +build2-project-manager-manual*.ps +build2-project-manager-manual*.pdf +build2-project-manager-manual.xhtml |