summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDavid Thompson <dthompson2@worcester.edu>2018-08-23 07:48:24 -0400
committerDavid Thompson <dthompson2@worcester.edu>2018-08-23 08:02:20 -0400
commit8163e4b415bcf1f6a696ccbf06e3136aea1a261f (patch)
tree49be82cd6cac3c73464d7c5db31a94b99762a30d /.gitignore
parent92ddc07c3495ed032fdff941d345c77492c3cb9b (diff)
git: Ignore html manual build artifacts.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index fc3f03d..33ef5d4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,3 +13,4 @@
/doc/chickadee.info
/autom4te.cache
/build-aux
+/doc/chickadee.html/