01497f55e9
We want to use the mkdocs-exclude plugin, which lets us exclude particular files from the output directory. But plugins aren't available in the debian-stable version of mkdocs, so ensure that we're running a sufficiently new version. If we aren't, gracefully just skip building the documentation.
22 lines
692 B
Text
22 lines
692 B
Text
redo-ifchange doc.list
|
|
xargs redo-ifchange ../mkdocs.yml <doc.list
|
|
|
|
# Most people don't have mkdocs installed, or are using an obsolete one,
|
|
# so let's handle those cases gracefully.
|
|
ver=$(mkdocs --version 2>/dev/null | cut -d' ' -f3)
|
|
check='
|
|
import sys
|
|
ok = sys.argv[1].split(".") >= ["1", "0", "4"]
|
|
exit(not ok)
|
|
'
|
|
|
|
if ! type mkdocs >/dev/null 2>/dev/null; then
|
|
echo "Warning: mkdocs is missing; can't generate website." >&2
|
|
redo-ifcreate /usr/bin/mkdocs
|
|
elif ! python -c "$check" "$ver"; then
|
|
echo "Warning: mkdocs is too old ($ver); need at least 1.0.4." >&2
|
|
mkd=$(which mkdocs 2>/dev/null || :)
|
|
[ -x "$mkd" ] && redo-ifchange "$mkd"
|
|
else
|
|
(cd .. && mkdocs build --strict --clean)
|
|
fi
|