diff options
author | Hans Ulrich Niedermann <hun@n-dimensional.de> | 2011-03-06 02:53:52 +0100 |
---|---|---|
committer | Hans Ulrich Niedermann <hun@n-dimensional.de> | 2011-03-07 20:57:38 +0100 |
commit | 20cb3f461845d788e7b84d40a656dc1c63842ef0 (patch) | |
tree | 3629f3018dc3ab66fe47b9aa666259356f58f898 /INSTALL | |
parent | ed26054ca03d2dd8731f358efdf41a63f0387832 (diff) | |
download | rasdaman-upstream-20cb3f461845d788e7b84d40a656dc1c63842ef0.tar.gz rasdaman-upstream-20cb3f461845d788e7b84d40a656dc1c63842ef0.tar.xz rasdaman-upstream-20cb3f461845d788e7b84d40a656dc1c63842ef0.zip |
build/install: Clean up manual build and install
Clean up the building of the doxygen docs for VPATH
builds and "make distcheck". This shifts the doxygen
run from "make install" time to "make all" time.
Fix a number of permissions in the docs we "cp -R" to
install them, and create the target dir before copying
manual files.
Have doxygen ignore subdirs like .git.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions