doc: minor cleanup to scripts
authorRamprasad Venkataraman <ramv@illinois.edu>
Sun, 5 Aug 2012 03:19:11 +0000 (22:19 -0500)
committerRamprasad Venkataraman <ramv@illinois.edu>
Sun, 5 Aug 2012 03:19:11 +0000 (22:19 -0500)
doc/Makefile.common
doc/l2h_sanitize_markup.sh

index 94ee01465398b56e59eed6b62029b4fe30ced055..80aafcf925c7c2256baec2693bee5ff4a73bd076 100644 (file)
@@ -61,7 +61,6 @@ $(FILE): $(TEX) $(FILE).aux
        -@/bin/cp ../manual.css $(FILE)
        -@/bin/cp ../*.js $(FILE)
        -@/bin/cp ../navbarbkgd.png $(FILE)
-       -/bin/cp title.html $(FILE)
        $(L2H) -split 0 $(FILE).tex
        -@mv $(FILE)/$(FILE).html $(FILE)/$(FILE)-1p.html
        export MANUALTITLE=$(DOCTITLE) && $(LATEX2HTML) $(FILE).tex && unset MANUALTITLE
index 6a9d21a6fe36aad67a229455288662c00518c2d5..5059c34058d4aa01d2253e776bbc42dfe6cceba8 100755 (executable)
@@ -10,7 +10,7 @@ die() {
        exit 0
 }
 
-[ -x manual ] || die "fixpaths.sh requires a manual/ directory"
+[ -x manual ] || die "this script requires a manual/ directory"
 
 cp -r fig figs manual/
 
@@ -20,8 +20,10 @@ do
        cwd=`pwd`
        cwd=`echo $cwd | sed -e 's@/home/net@/expand/home@'`
        sed -e 's!'`pwd`'/!!g' $f > tmp || die "error running sed on $f"
-       mv $f $f.bak || die "error backing up $f"
-  # Munge through the markup and... 
+    # Uncomment to produce backup files for identifying the results of regex
+       #mv $f $f.bak || die "error backing up $f"
+
+    # Munge through the markup and... 
        # Relativize all paths
        # Replace placeholder with script tag
        # Replace div.alltt with pre tag
@@ -38,6 +40,4 @@ do
                -e '/<pre>/,/<\/pre>/s|<BR>||g' \
                -e '/^\w*$/d' \
        tmp > $f || die "error running sed on $f"
-       rm $f.bak
-       #mv tmp $f || die "error replacing $f"
 done