aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2020-06-21 17:23:00 +0200
committerJonas Smedegaard <dr@jones.dk>2020-06-21 17:23:00 +0200
commit5b68ed3e51ab75a44f5bca0ac9637e78e7aae644 (patch)
tree2e572b5ca949adbb25a110ed0e2206774fddab86
parenta60e08ba995dc580dc930dd38515c8f678ee7b72 (diff)
drop mkdocs build scripts: moved to separate git "features"
-rw-r--r--.gitignore2
-rw-r--r--Makefile19
-rw-r--r--mkdocs.yml6
3 files changed, 0 insertions, 27 deletions
diff --git a/.gitignore b/.gitignore
deleted file mode 100644
index 3843c63..0000000
--- a/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-docs/
-site/
diff --git a/Makefile b/Makefile
deleted file mode 100644
index 9eef38f..0000000
--- a/Makefile
+++ /dev/null
@@ -1,19 +0,0 @@
-# Depends: mkdocs linkchecker
-
-all: doc
-
-doc: docs
- mkdocs build
- linkchecker site/index.html
-
-docs:
- mkdir -p docs
- ln -sf ../README.md docs/index.md
- ln -sf ../USE.md docs/use.md
- ln -sf ../ADMIN.md docs/admin.md
-
-clean:
- rm -rf site
- rm -rf docs
-
-.PHONY: all doc clean
diff --git a/mkdocs.yml b/mkdocs.yml
deleted file mode 100644
index 60cb815..0000000
--- a/mkdocs.yml
+++ /dev/null
@@ -1,6 +0,0 @@
-site_name: Shell account
-repo_url: https://source.virtual-assembly.org/feature/account-shell.git/
-nav:
-- Introduction: 'index.md'
-- Use: 'use.md'
-- Administration: 'admin.md'