Update Makefile

Signed-off-by: Lukas Reschke <lukas@statuscode.ch>
This commit is contained in:
Lukas Reschke
2017-02-16 14:43:19 +01:00
parent 58d0c1aa6e
commit d1ea684f0c

View File

@@ -14,9 +14,9 @@ user-manual-html:
@echo "User manual build finished; HTML is updated"
user-manual-de-html:
rm -rf user_manual_de/_build/html/com
cd user_manual_de && make html
@echo "User manual de build finished; HTML is updated"
rm -rf user_manual_de/_build/html/com
cd user_manual_de && make html
@echo "User manual de build finished; HTML is updated"
developer-manual-html:
rm -rf developer_manual/_build/html/com
@@ -32,8 +32,8 @@ user-manual-pdf:
@echo "User manual build finished; PDF is updated"
user-manual-de-pdf:
cd user_manual_de && make latexpdf
@echo "User manual de build finished; PDF is updated"
cd user_manual_de && make latexpdf
@echo "User manual de build finished; PDF is updated"
developer-manual-pdf:
cd developer_manual && make latexpdf