From 58d0c1aa6ecc172fbd4e784c06e684994749cc61 Mon Sep 17 00:00:00 2001 From: Lukas Reschke Date: Thu, 16 Feb 2017 14:42:06 +0100 Subject: [PATCH] Adjust build file for de files Signed-off-by: Lukas Reschke --- Makefile | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 811efe050..48722e629 100644 --- a/Makefile +++ b/Makefile @@ -1,7 +1,7 @@ all: html pdf -html: admin-manual-html user-manual-html developer-manual-html -pdf: admin-manual-pdf user-manual-pdf developer-manual-pdf +html: admin-manual-html user-manual-html user-manual-de-html developer-manual-html +pdf: admin-manual-pdf user-manual-pdf user-manual-de-pdf developer-manual-pdf admin-manual-html: rm -rf admin_manual/_build/html/com @@ -13,6 +13,11 @@ user-manual-html: cd user_manual && make 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" + developer-manual-html: rm -rf developer_manual/_build/html/com cd developer_manual && make html @@ -26,6 +31,10 @@ user-manual-pdf: cd user_manual && make latexpdf @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" + developer-manual-pdf: cd developer_manual && make latexpdf @echo "Developer manual build finished; PDF is updated"