diff options
Diffstat (limited to 'Makefile.sphinx')
| -rw-r--r-- | Makefile.sphinx | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/Makefile.sphinx b/Makefile.sphinx index 6e807c9..88596ee 100644 --- a/Makefile.sphinx +++ b/Makefile.sphinx @@ -156,8 +156,16 @@ doctest: @echo "Testing of doctests in the sources finished, look at the " \ "results in $(BUILDDIR)/doctest/output.txt." +mat: + @find -type f -name '*.ods' -exec mat2 -V {} \; + @find -type f -name '*.ods' -exec rename -f 's/\.cleaned.ods/.ods/' {} \; + @find -type f -name '*.pdf' -exec mat2 -V {} \; + @find -type f -name '*.pdf' -exec rename -f 's/\.cleaned.pdf/.pdf/' {} \; + @find -type f -name '*.ods' -exec chmod 644 {} \; + @find -type f -name '*.pdf' -exec chmod 644 {} \; + #web: clean epub latexpdf html -web: clean epub html +web: clean epub html mat web_deploy: @rsync -avz --delete _build/html/ templates:/var/sites/templates/www/ |