update build script: now it copies the entire directories to the
authorFilippo Gioachin <gioachin@illinois.edu>
Sun, 9 Dec 2007 17:43:45 +0000 (17:43 +0000)
committerFilippo Gioachin <gioachin@illinois.edu>
Sun, 9 Dec 2007 17:43:45 +0000 (17:43 +0000)
commit29cf3f7cd0dd2a3523d9ad4f351246d705bfafb0
tree566ed0d491f73304d508b2a4b67c387baca22867
parent2cb8539004235f060aa87b504c38a51592e3e9ea
update build script: now it copies the entire directories to the
destination file system before renaming them to their final name
doc/Makefile
doc/Makefile.common