Index: man/src/make_docs.sh |
diff --git a/man/src/make_docs.sh b/man/src/make_docs.sh |
index 73d76e248974353fb1b9aa286bf757c9cb15b63e..d7af87d776a51ecd4573f7e5019e8a38bff92601 100755 |
--- a/man/src/make_docs.sh |
+++ b/man/src/make_docs.sh |
@@ -23,6 +23,7 @@ ensure_in_path() { |
} |
ensure_in_path xmlto |
+ensure_in_path hg |
DFLT_CATALOG_PATH="/usr/local/etc/xml/catalog" |
if [[ ! $XML_CATALOG_FILES && -f "$DFLT_CATALOG_PATH" ]] |