need htmlark, provide instruction

This commit is contained in:
Christian Grothoff 2022-11-13 11:15:30 +01:00
parent 42b7993141
commit 5efea4db73
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC
2 changed files with 2 additions and 1 deletions

View File

@ -10,6 +10,7 @@ fi
if ! htmlark --version >/dev/null; then
echo "htmlark not installed"
echo "Run 'pip install htmlark'"
exit 1
fi

@ -1 +1 @@
Subproject commit 6b9824cb4d4561f1167c7f518998a226a82222d6
Subproject commit a4a6b9ba4b2634c56194d53e36344686d7052cef