aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2018-11-24 13:18:00 +0100
committerJonas Smedegaard <dr@jones.dk>2018-11-24 13:20:02 +0100
commit4c8596a1a2fda23f2e400e5caf241614741b004a (patch)
treea06aa998e9d0d7cc67bacdbab8f0198689359ef7
parente2ac1f9c5132d6616e103604c14466788fa49014 (diff)
Use mkdocs.
-rw-r--r--.gitignore2
-rw-r--r--Makefile18
-rw-r--r--mkdocs.yml5
3 files changed, 25 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..3843c63
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,2 @@
+docs/
+site/
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..b883a3a
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,18 @@
+# Depends: mkdocs
+
+all: docs
+
+docs: docs-prep
+ mkdocs build
+
+docs-prep:
+ 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 clean
diff --git a/mkdocs.yml b/mkdocs.yml
new file mode 100644
index 0000000..92a1901
--- /dev/null
+++ b/mkdocs.yml
@@ -0,0 +1,5 @@
+site_name: Shell account
+nav:
+- Home: 'index.md'
+- Use: 'use.md'
+- Administration: 'admin.md'