From 941a41ed0e5d408540cb830d79257d55683be99b Mon Sep 17 00:00:00 2001 From: Marijn van der Zee Date: Wed, 12 Oct 2011 21:00:59 +0200 Subject: [PATCH] html-help will be compiled last. Because many people won't have MS html help workshop installed. This way, we can still run a `build doc-reference` and get html and pdf output, before the build fails (non-fatal, btw). --- doc/reference/docbook.build | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/reference/docbook.build b/doc/reference/docbook.build index 2e06bf64..4f6255c2 100644 --- a/doc/reference/docbook.build +++ b/doc/reference/docbook.build @@ -17,7 +17,8 @@ - + +