diff options
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | .hgignore | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 52444475ef..241e96eaf6 100644 --- a/.gitignore +++ b/.gitignore @@ -96,6 +96,7 @@ src/kword_test # Generated by "make install" runtime/doc/doctags +runtime/doc/tags-* # Temporarily generated by "runtime/syntax/generator/make" runtime/syntax/generator/generator.err @@ -98,6 +98,7 @@ src/kword_test # Generated by "make install" runtime/doc/doctags +runtime/doc/tags-* # Generated by "make shadow". The directory names could be anything but we # restrict them to shadow (the default) or shadow-* |