diff options
-rw-r--r-- | doc/Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index a64ae560..ef3ef6d1 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -23,8 +23,12 @@ PDFSTYLE= all: $(HTML) $(PDF) publish: $(DOC) - cp $(DOC)altusmetrum.html /home/bdale/web/altusmetrum/AltOS/doc/ - (cd /home/bdale/web/altusmetrum ; echo "update docs" | git commit -F - /home/bdale/web/altusmetrum/AltOS/doc/* ; git push) + cp $(DOC) /home/bdale/web/altusmetrum/AltOS/doc/ + (cd /home/bdale/web/altusmetrum ; \ + git add /home/bdale/web/altusmetrum/AltOS/doc/* ; \ + echo "update docs" | \ + git commit -F - /home/bdale/web/altusmetrum/AltOS/doc/* ; \ + git push) clean: rm -f *.html *.pdf *.fo |