diff options
author | Jacek Konieczny <jajcus@jajcus.net> | 2011-05-08 15:42:29 +0400 |
---|---|---|
committer | Jacek Konieczny <jajcus@jajcus.net> | 2011-05-08 15:42:29 +0400 |
commit | 4809283d8640233352f363fbc8dcb649000a121c (patch) | |
tree | 330b9b2cd51991c4ba8bfd5d1c92acf43678f203 | |
parent | 92e77e57a2ac9dbd44e609a5c47e7ac25e834ae9 (diff) |
Ignore some files from `make doc www`
-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..087ce4b --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1,5 @@ +CHANGES.html +ChangeLog.html +doc-tstamp +index.html +www/ |