Merge branch 'three-eight' of linux.cs.tufts.edu:/r/c--/papers/dfopt into three-eight
[packages/hoopl.git] / paper / mkfile
index a383bf8..08bd630 100644 (file)
@@ -4,12 +4,11 @@
 <./bitly.$USER.mk
 
 
-LASTPAGE=12  # use this for submission
-LASTPAGE=
+LASTPAGE=13  # final draft has extra page
 
 TGT=dfopt
 
-all:V: $TGT.pdf supplement.pdf $TGT.ps 
+all:V: $TGT.pdf $TGT.ps hoopl10-supplement.bitly
 old:V: popl-index.bitly
 bib:V: $TGT.bbl
 bibfile:V: $TGT.bib
@@ -25,31 +24,28 @@ xdvi:V: $TGT.dvi
 
 
 tag:VQ: $TGT.tex
-       tag=`$HOME/bin/md5words $prereq | tr -d "'" | tr -cs a-zA-Z0-9 - | sed s/-*$//`
+       tag=`$HOME/bin/md5words -trim $prereq | tr -d "'" | tr -cs a-zA-Z0-9 - | sed s/-*$//`
        echo git tag $tag
        git tag $tag
 
-dfopt.dvi: dfopt.bbl code.sty timestamp.tex dfoptdu.tex cprop.tex comb1.tex iterf.tex pairf.tex dg.tex
+dfopt.dvi: dfopt.bbl code.sty timestamp.tex dfoptdu.tex cprop.tex comb1.tex iterf.tex pairf.tex dg.tex cat.tex
 
-dfoptdu.tex: cprop.tex comb1.tex iterf.tex pairf.tex dg.tex
+dfoptdu.tex: cprop.tex comb1.tex iterf.tex pairf.tex dg.tex node.tex
 
 $TGT.pdf: $TGT.dvi
        dvips -Ppdf -o"|ps2pdf - $target" -pp 1-$LASTPAGE $prereq
 
-supplement.pdf: $TGT.dvi
-       dvips -Ppdf -o"|ps2pdf - $target" -pp 13- $prereq
-
-$HOME/www/drop/popl-index.pdf: $TGT.dvi
-       dvips -Ppdf -o "|ps2pdf - $target" -pp 13- $prereq
+$HOME/www/pubs/hoopl10-supplement.pdf: $TGT.dvi
+       dvips -Ppdf -o"|ps2pdf - $target" -pp `expr $LASTPAGE + 1`- $prereq
 
 timestamp.tex: $TGT.tex
        date=`stat -c "%y" $prereq`
        signature=""
        if [ -x $HOME/bin/md5words ]; then
-         words="`md5words $prereq`"
-          signature=" [MD5: \\mbox{$words}]"
-        else
-          words="(could not compute signature words)"
+         words="`md5words -trim $prereq`"
+      signature=" [MD5: \\mbox{$words}]"
+    else
+      words="(could not compute signature words)"
        fi
        date -d "$date" "+\def\mdfivestamp{\\rlap{\\textbf{%a %e %b %Y, %l:%M %p$signature}}}\def\mdfivewords{$words}" > $target
 
@@ -57,7 +53,7 @@ timestamp.tex: $TGT.tex
 
 %du.tex:D: defuse %.tex hsprelude
        [ -r "$target" ] && chmod +w $target
-       ./defuse < $stem.tex > $target
+       ./defuse '\^' < $stem.tex > $target
        chmod -w $target
 
 
@@ -76,5 +72,5 @@ dfopt.dvi: fptype.tex bodyfun.tex
 
 dfoptdu.tex: bodyfun.tex fptype.tex
 
-bodyfun.tex fptype.tex dg.tex:D: ./xsource $HOOPL/Dataflow.hs
+cat.tex bodyfun.tex fptype.tex dg.tex node.tex:D: ./xsource $HOOPL/Dataflow.hs
        lua ./xsource -4 $HOOPL/Dataflow.hs