From: Niki Roo <niki@nikiroo.be>
Date: Wed, 3 Jul 2024 12:55:28 +0000 (+0200)
Subject: remove extra mkdocs copy
X-Git-Url: https://git.nikiroo.be/?a=commitdiff_plain;h=222a2306973db10bc76ff67f16fb1f6a44832a1f;p=notes.git

remove extra mkdocs copy
---

diff --git a/mkdocs/mkdocs.yml b/mkdocs/mkdocs.yml
deleted file mode 100644
index aefe3d7..0000000
--- a/mkdocs/mkdocs.yml
+++ /dev/null
@@ -1,11 +0,0 @@
-site_name: Niki's Doc
-theme:
-  name: material
-  features:
-    - content.action.edit
-plugins:
-  - privacy
-# - offline
-#repo_url: https://github.com/nikiroo/fanfix
-# repo_name: squidfunk/mkdocs-material
-#edit_uri: edit/master/docs/
diff --git a/mkdocs/update.sh b/mkdocs/update.sh
deleted file mode 100644
index a28c1e6..0000000
--- a/mkdocs/update.sh
+++ /dev/null
@@ -1,53 +0,0 @@
-#!/bin/sh
-
-DDIR=/home/user/Notes
-
-if [ "$1" = "" ]; then
-	# Host
-	cd "`dirname "$0"`" || exit 42
-	cd ..
-	rm -f mkdocs/ok
-	touch mkdocs/wip
-	OPTS="-v $PWD:$DDIR:rw" /opt/docker/launch.sh \
-		--start $DDIR/mkdocs/update.sh mkdocs \
-		build
-	echo
-	echo Leaving docker machine...
-	echo
-	[ -e mkdocs/ok ] ; rep=$? ; rm -f mkdocs/ok
-	if [ $rep = 0 ]; then
-		echo Copying to remote site...
-		cd mkdocs/site
-		git add .
-		if [ $? != 0 ]; then
-			echo Failure to add newly built html site >&2
-			exit 20
-		fi
-		git commit -m "`date +"Auto commit %Y-%m-%d %H:%M"`"
-		if [ $? != 0 ]; then
-			echo Failure to commit to git >&2
-			exit 21
-		fi
-		git push nikiroo html
-		if [ $? != 0 ]; then
-			echo Failure to push html branch to nikiroo >&2
-			exit 22
-		fi
-	else
-		echo Failed to update, no remote copy started: $rep >&2
-	fi
-	rm -f mkdocs/wip
-	exit $rep
-fi
-
-# Docker
-echo
-echo Entering docker machine...
-echo
-
-cd
-cp "$DDIR/mkdocs/mkdocs.yml" "$HOME/" || exit
-ln -s "$DDIR" docs || exit
-mkdocs build -d "$DDIR"/mkdocs/site || exit
-touch "$DDIR/mkdocs/ok"
-
diff --git a/mkdocs/wip b/mkdocs/wip
deleted file mode 100644
index e69de29..0000000