2017-11-07 20:05:56 -05:00
|
|
|
#
|
|
|
|
# Top level makefile for things not covered by cmake
|
|
|
|
#
|
|
|
|
|
2018-07-10 13:31:18 +02:00
|
|
|
BUILDDIR ?= doc/_build
|
2017-11-07 20:05:56 -05:00
|
|
|
|
|
|
|
# Documentation targets
|
|
|
|
# ---------------------------------------------------------------------------
|
|
|
|
htmldocs:
|
2018-07-10 13:31:18 +02:00
|
|
|
mkdir -p ${BUILDDIR} && cmake -G"Unix Makefiles" -B${BUILDDIR} -Hdoc/ && make -s -C ${BUILDDIR} htmldocs
|