fix: makefile tasks for watch

docker/entrypoint.sh

@@ -9,6 +9,7 @@ echo "Arguments: $ARGS"
 EXT_UID=${EXT_UID:-999}
 EXT_GID=${EXT_GID:-999}
 
+
 # Create missing directories
 mkdir -p _cache
 mkdir -p _build
@@ -25,12 +26,13 @@ if ! grep -q "^[^:]*:[^:]*:$EXT_UID:" /etc/passwd ; then
   useradd -r -u "$EXT_UID" -g appuser appuser
 fi
 
-chown -R "$EXT_UID:$EXT_GID" _cache
+# echo "Setting permissions to $EXT_UID:$EXT_GID"
-chown -R "$EXT_UID:$EXT_GID" _build
+# chown -R "$EXT_UID:$EXT_GID" _cache
-chown -R "$EXT_UID:$EXT_GID" .marp
+# chown -R "$EXT_UID:$EXT_GID" _build
-chown -R "$EXT_UID:$EXT_GID" /home/appuser
+# chown -R "$EXT_UID:$EXT_GID" .marp
-chown -R "$EXT_UID:$EXT_GID" slides
+# chown -R "$EXT_UID:$EXT_GID" /home/appuser
-chown -R "$EXT_UID:$EXT_GID" docs
+# chown -R "$EXT_UID:$EXT_GID" slides
+# chown -R "$EXT_UID:$EXT_GID" docs
 
 # Patch mkdocs configuration 
 # set -x
@@ -49,5 +51,6 @@ fi
 if [ "$1" = "supershell" ]; then
   exec bash
 else
-  exec gosu "$EXT_UID:$EXT_GID" make "$@"
+  # exec gosu "$EXT_UID:$EXT_GID" make "$@"
+  exec make "$@"
 fi

mkdocs-source.yml

@@ -57,6 +57,7 @@ extra_javascript:
 markdown_extensions:
   - footnotes
   - admonition
+  - md_in_html
   - toc:
       permalink: '#'
 

tasks/docker.mk

@@ -10,6 +10,9 @@ docker-build: ## build docker image
 		glenux/docmachine:$(BUILD_VERSION) \
 		glenux/docmachine:latest
 
+docker-save:
+	env docker save glenux/docmachine:latest > ~/.cache/docmachine/image.tar
+
 docker-push: ## push docker image
 	env docker push glenux/docmachine:latest
 

tasks/docs.mk

@@ -55,10 +55,6 @@ watch-docs-internal:
 watch-docs: ## run development server for static docs site
 	pipenv run honcho start watch-docs watch-toc
 
-.PHONY: watch-docs
-watch: watch-docs
-
-
 build-pdf: build-docs-pdf ## build docs as PDF files
 build-html: build-docs-html ## build docs as HTML files
 build-docs: build-docs-pdf build-docs-html  ## build only docs as PDF and HTML