diff options
author | Lukas Reschke <lukas@statuscode.ch> | 2017-02-16 16:43:19 +0300 |
---|---|---|
committer | Lukas Reschke <lukas@statuscode.ch> | 2017-02-16 16:43:19 +0300 |
commit | d1ea684f0c3d1fa1213cbdad0858f83bba11f8aa (patch) | |
tree | 4e1f060bd0c67b75a20a9e5e86de7af7128e8475 /Makefile | |
parent | 58d0c1aa6ecc172fbd4e784c06e684994749cc61 (diff) |
Update Makefile
Signed-off-by: Lukas Reschke <lukas@statuscode.ch>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -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 |