diff options
author | Cristian Ionescu-Idbohrn <cristian.ionescu-idbohrn@axis.com> | 2014-06-07 23:01:17 +0200 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2014-06-07 19:41:40 -0700 |
commit | 901bfb5455972e6d53687f7b85066d50c5766a36 (patch) | |
tree | 0733ebbe04a1a1ca62eb602ca8365a087a05d17f /.gitignore | |
parent | f46f9139a82fd93bcdb84735649b804c27b0b9c1 (diff) | |
download | subsurface-901bfb5455972e6d53687f7b85066d50c5766a36.tar.gz |
Ignore user-manual_es.html
Some 'clean' Makefile target should remove the generated
user-manual_es.html too.
Signed-off-by: Cristian Ionescu-Idbohrn <cristian.ionescu-idbohrn@axis.com>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 6dc021838..927228628 100644 --- a/.gitignore +++ b/.gitignore @@ -17,6 +17,7 @@ Documentation/docbook-xsl.css Documentation/user-manual.html Documentation/user-manual.pdf Documentation/user-manual.text +Documentation/user-manual_es.html packaging/windows/subsurface.nsi packaging/macos/Info.plist *.kdev4 |