remove extra mkdocs copy

diff --git a/mkdocs/mkdocs.yml b/mkdocs/mkdocs.yml
deleted file mode 100644 (file)
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 (file)
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 (file)
index e69de29..0000000