From d1ea684f0c3d1fa1213cbdad0858f83bba11f8aa Mon Sep 17 00:00:00 2001 From: Lukas Reschke Date: Thu, 16 Feb 2017 14:43:19 +0100 Subject: [PATCH] Update Makefile Signed-off-by: Lukas Reschke --- Makefile | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/Makefile b/Makefile index 48722e629..dfb5a864f 100644 --- a/Makefile +++ b/Makefile @@ -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