2018-11-15 23:59:22 -05:00
|
|
|
redo-ifchange doc.list
|
2018-11-16 01:14:15 -05:00
|
|
|
xargs redo-ifchange ../mkdocs.yml <doc.list
|
2018-11-15 23:59:22 -05:00
|
|
|
|
2019-01-08 01:32:16 -05:00
|
|
|
# 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
|
2018-11-15 23:59:22 -05:00
|
|
|
echo "Warning: mkdocs is missing; can't generate website." >&2
|
|
|
|
|
redo-ifcreate /usr/bin/mkdocs
|
2019-01-08 01:32:16 -05:00
|
|
|
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)
|
2018-11-15 23:59:22 -05:00
|
|
|
fi
|