alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Finer control over the build of the documentation

Browse source 
* Makefile.am: move the doc subdirectory to its own variable
This commit is contained in:
Maximilien Colange 2017-11-27 14:37:39 +01:00
parent d219e4a556
commit b23f1d5054
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
Makefile.am
View file

@ -32,7 +32,8 @@ if USE_PYTHON
PYTHON_SUBDIR = python PYTHON_SUBDIR = python
endif 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) $(NEVER_SUBDIRS)
UTF8 = utf8/README.md utf8/utf8.h \ UTF8 = utf8/README.md utf8/utf8.h \
@ -49,7 +50,7 @@ DEBIAN = \
debian/libbddx-dev.install \ debian/libbddx-dev.install \
debian/libspot0.install \ debian/libspot0.install \
debian/libspotltsmin0.install \ debian/libspotltsmin0.install \
debian/libspotgen0.install \ debian/libspotgen0.install \
debian/libspot-dev.install \ debian/libspot-dev.install \
debian/python3-spot.examples \ debian/python3-spot.examples \
debian/python3-spot.install \ debian/python3-spot.install \