From 6b566c0b87dd29a5d19b334a8b51d7ea3dbb6abe Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Molakvo=C3=A6=20=28skjnldsv=29?= Date: Mon, 10 Sep 2018 09:57:43 +0200 Subject: [PATCH] Test build without pdf MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: John Molakvoæ (skjnldsv) --- Makefile | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/Makefile b/Makefile index f98f77988..225c11010 100644 --- a/Makefile +++ b/Makefile @@ -1,7 +1,7 @@ all: html 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 +pdf: admin-manual-pdf user-manual-pdf user-manual-de-pdf admin-manual-html: rm -rf admin_manual/_build/html/com @@ -35,10 +35,6 @@ 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" - api-docs: clean-api-docs cd build && sh get-server-sources.sh master mkdir -p developer_manual/api/