changeset 114:d8293ee80a4a

Copy htmldocs dir instead of moving (don't screw up source git repo).
author Rob Landley <rob@landley.net>
date Mon, 02 May 2011 14:21:07 -0500
parents a5cfece4556a
children 0595c16ed26f
files make/functions.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/make/functions.sh	Mon May 02 14:19:51 2011 -0500
+++ b/make/functions.sh	Mon May 02 14:21:07 2011 -0500
@@ -91,7 +91,7 @@
     # Install broken-up versions and index.html
     for i in $(ls -p | sed -n 's@/$@@p')
     do
-      mv $i "$WEBDIR"/htmldocs &&
+      cp -r $i "$WEBDIR"/htmldocs &&
       echo "<li>(<a href=\"$i\">chunks</a>) (<a href=\"${i}.html\">nochunks</a>) " \
         >> "$WEBDIR"/htmldocs/index.html &&
       sed -nr 's@.*<title>(.*)</title>.*@\1@p' ${i}.xml | head -n 1 >> \