summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas K. Hüttel <dilfridge@gentoo.org>2017-04-03 13:30:37 +0200
committerAndreas K. Hüttel <dilfridge@gentoo.org>2017-04-03 13:30:37 +0200
commit9df6c3181719e06f66c99a5fa1291ddcfbb16498 (patch)
tree0c7a314fe58ce6d3f9193ad10677f92646bacaea /decisions/Makefile
parentFinish cleaning up index. Pass 2 complete. (diff)
downloadcouncil-9df6c3181719e06f66c99a5fa1291ddcfbb16498.tar.gz
council-9df6c3181719e06f66c99a5fa1291ddcfbb16498.tar.bz2
council-9df6c3181719e06f66c99a5fa1291ddcfbb16498.zip
Add html generation, move index to end
Diffstat (limited to 'decisions/Makefile')
-rw-r--r--decisions/Makefile6
1 files changed, 5 insertions, 1 deletions
diff --git a/decisions/Makefile b/decisions/Makefile
index 2ac3845..1e0673a 100644
--- a/decisions/Makefile
+++ b/decisions/Makefile
@@ -16,6 +16,9 @@ decisions.idx: *.aux *.tex
decisions.pdf: *.aux decisions.idx *.tex decisions.ind
pdflatex decisions
+decisions.html: decisions.pdf
+ pdf2htmlEX decisions.pdf
+
onlineupdate: decisions.bug decisions.mld
decisions.bug: decisions.bur
@@ -24,6 +27,7 @@ decisions.bug: decisions.bur
decisions.mld: decisions.mlr
./makemails
-upload: onlineupdate decisions.pdf
+upload: onlineupdate decisions.pdf decisions.html
scp decisions.pdf dev.gentoo.org:~/public_html/
+ scp decisions.html dev.gentoo.org:~/public_html/