diff options
author | Hans Ulrich Niedermann <hun@n-dimensional.de> | 2011-03-04 14:15:37 +0100 |
---|---|---|
committer | Hans Ulrich Niedermann <hun@n-dimensional.de> | 2011-03-07 20:55:23 +0100 |
commit | ca094934bc0ef40c7996c5ac8125e9c35fca55cb (patch) | |
tree | a2703e1fd91bbf3682f2e00aa40dfe2dc8a4a0bf | |
parent | 7b5dc0fe515f403d2f1ddb1eb9540d5532464382 (diff) | |
download | rasdaman-upstream-ca094934bc0ef40c7996c5ac8125e9c35fca55cb.tar.gz rasdaman-upstream-ca094934bc0ef40c7996c5ac8125e9c35fca55cb.tar.xz rasdaman-upstream-ca094934bc0ef40c7996c5ac8125e9c35fca55cb.zip |
gitignore: ignore manual files generated by "make install"
-rw-r--r-- | manuals_and_examples/manuals/.gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/manuals_and_examples/manuals/.gitignore b/manuals_and_examples/manuals/.gitignore new file mode 100644 index 0000000..c6944a5 --- /dev/null +++ b/manuals_and_examples/manuals/.gitignore @@ -0,0 +1,4 @@ +# Files generated by "make install" (!) +/doc-api/ +/doc-all/ +/doc-basedbms/ |