From b23f1d5054be47df2306e5695baef617ec481e40 Mon Sep 17 00:00:00 2001 From: Maximilien Colange Date: Mon, 27 Nov 2017 14:37:39 +0100 Subject: [PATCH] Finer control over the build of the documentation * Makefile.am: move the doc subdirectory to its own variable --- Makefile.am | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Makefile.am b/Makefile.am index 4451c2adb..2b3ff8001 100644 --- a/Makefile.am +++ b/Makefile.am @@ -32,7 +32,8 @@ if USE_PYTHON PYTHON_SUBDIR = python endif -SUBDIRS = picosat buddy lib ltdl spot bin tests $(PYTHON_SUBDIR) doc \ +DOC_SUBDIR = doc +SUBDIRS = picosat buddy lib ltdl spot bin tests $(PYTHON_SUBDIR) $(DOC_SUBDIR) \ $(NEVER_SUBDIRS) UTF8 = utf8/README.md utf8/utf8.h \ @@ -49,7 +50,7 @@ DEBIAN = \ debian/libbddx-dev.install \ debian/libspot0.install \ debian/libspotltsmin0.install \ - debian/libspotgen0.install \ + debian/libspotgen0.install \ debian/libspot-dev.install \ debian/python3-spot.examples \ debian/python3-spot.install \