Commit 153398eb authored by Michael Hanus 's avatar Michael Hanus
Browse files

New version 0.8.3

parent 2490195d
# To format the Curry report
.PHONY: all
all: report.pdf
report.dvi: report.tex
latex report
bibtex report
......@@ -23,15 +26,15 @@ install: report.pdf
cp report.pdf /home/mh/pakcs/docs/CurryReport.pdf
# Directory for the web published version of the report:
# Write report into web pages:
www: report.dvi report.pdf
cp -p ${WWWDIR}/
gzip ${WWWDIR}/
cp -p ${WWWDIR}/
www: report.pdf
#cp -p ${WWWDIR}/
#gzip ${WWWDIR}/
#cp -p ${WWWDIR}/
cp -p report.pdf ${WWWDIR}/report.pdf
cd ${WWWDIR} && chmod 644 report.pdf
cd ${WWWDIR} && chmod 644 report.pdf
/bin/mv report.tex report.texx
This diff is collapsed.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment