diff options
author | Hugo Parente Lima <hugo.pl@gmail.com> | 2010-09-15 17:36:58 -0300 |
---|---|---|
committer | Hugo Parente Lima <hugo.pl@gmail.com> | 2012-03-08 16:05:59 -0300 |
commit | c0b2f5f8de442eb7f31707cfce25e3fa05309cce (patch) | |
tree | aebf32faf685c184016c75806ef9764dc563a84b /.gitignore | |
parent | 610719bef88e8ba1088f32133f7844f97a6a9bad (diff) |
Add "doc" target to be able to build the docs out of the source directory.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index fa13dcc58..40d69886e 100644 --- a/.gitignore +++ b/.gitignore @@ -7,4 +7,3 @@ build .preprocessed.tmp .*.swp *.kdev4 -doc/_build |