search

ARudik / phc

Automatically exported from code.google.com/p/phc
0 stars 0 forks source link

makerelease script needs an update #141

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
misc/makerelease is somewhat out of date. Especially the following two make 
targets don't exist anymore and should be replaced?

make -C $DOC_DIR
make -C $DOC_DIR manual.pdf

with

make -C $DOC_DIR html
make -C $DOC_DIR latex
make -C $DOC_DIR/.build/latex all-pdf

?

Original issue reported on code.google.com by oliver.metz on 7 Sep 2011 at 8:27

GoogleCodeExporter commented 9 years ago 
Yup, looks exactly right.

Original comment by paul.biggar on 7 Sep 2011 at 8:52

GoogleCodeExporter commented 9 years ago 
Fixed in r3410.

Original comment by oliver.metz on 9 Sep 2011 at 5:30