summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorRichard Braun <rbraun@sceen.net>2017-04-01 20:24:21 +0200
committerRichard Braun <rbraun@sceen.net>2017-04-01 20:25:35 +0200
commit8e8792282b9fe124e68ae5ec9a63bbf90f78d091 (patch)
treebc084a165a4c2a4091a47a5d2d3af0c742cc625f /.gitignore
parent15c64dfeffe5107f8e8af89a994f8ea050505dce (diff)
.gitignore: add generated documentation
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index fb9eec62..452070dc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,3 +14,5 @@ x15.lds
/configure
/stamp-h1
/x15
+/doc/*\.[1-9]
+/doc/*\.[1-9]\.html