diff options
Diffstat (limited to 'decisions/Makefile')
| -rw-r--r-- | decisions/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/decisions/Makefile b/decisions/Makefile index 2f9c97e..ce1f204 100644 --- a/decisions/Makefile +++ b/decisions/Makefile @@ -16,8 +16,8 @@ decisions.idx: *.aux *.tex decisions.pdf: *.aux decisions.idx *.tex decisions.ind pdflatex decisions -decisions.html: decisions.pdf - pdf2htmlEX --optimize-text 2 --decompose-ligature 1 --zoom 1.6 decisions.pdf +#decisions.html: decisions.pdf +# pdf2htmlEX --optimize-text 2 --decompose-ligature 1 --zoom 1.6 decisions.pdf onlineupdate: decisions.bug decisions.mld decisions.glg decisions.deg @@ -33,9 +33,9 @@ decisions.glg: decisions.glr decisions.deg: decisions.der decisions.ded ./makedevs -upload: onlineupdate decisions.pdf decisions.html +upload: onlineupdate decisions.pdf scp decisions.pdf dev.gentoo.org:~/public_html/ - scp decisions.html dev.gentoo.org:~/public_html/ +# scp decisions.html dev.gentoo.org:~/public_html/ summary-%.texs : summary-%.tex echo "\\documentclass{councilsummary}\\begin{document}\\input{$<}\\end{document}" > $@ |