[phc-internals] Issue 141 in phc: makerelease script needs an update

[phc at googlecode.com]

Status: New
Owner: ----
Labels: Type-Defect Priority-Low

New issue 141 by oliver.m... at googlemail.com: makerelease script needs an  
update
http://code.google.com/p/phc/issues/detail?id=141

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

?