diff options
-rw-r--r-- | decisions/Makefile | 18 |
1 files changed, 13 insertions, 5 deletions
diff --git a/decisions/Makefile b/decisions/Makefile index 5d98147..2073e49 100644 --- a/decisions/Makefile +++ b/decisions/Makefile @@ -2,17 +2,25 @@ default: decisions.pdf .SUFFIXES: +.PHONY: onlineupdate upload + %.aux: %.tex pdflatex decisions.tex decisions.ind: *.aux *.tex makeindex decisions -decisions.bug: decisions.but - ./makebug +decisions.pdf: *.aux *.idx *.tex *.ind + pdflatex decisions + +onlineupdate: decisions.bug decisions.mld -decisions.mld: decisions.mls decisions.mlf +decisions.bug: decisions.bur + ./makebugs + +decisions.mld: decisions.mlr ./makemails -decisions.pdf: *.aux *.idx *.tex *.ind *.bug - pdflatex decisions +upload: onlineupdate decisions.pdf + scp decisions.pdf dev.gentoo.org:~/public_html/ + |