Add Servers page and sidebar

diff --git a/doc/Servers.mdwn b/doc/Servers.mdwn
new file mode 100644 (file)
index 0000000..2ab6656
--- /dev/null
+++ b/doc/Servers.mdwn
@@ -0,0 +1,11 @@
+# Machines operated by the NOC
+
+- `alfred.mgmt.realraum.at`
+- `torwaechter.mgmt.realraum.at`
+- `gw.realraum.at`
+- `smsgw.realraum.at`
+
+# Third-party servers running r³ services
+
+- `atlas.chaos-at-home.org` runs `vex.realraum.at`.
+- Otti's server for our mail and XMPP services.

diff --git a/doc/ikiwiki.setup b/doc/ikiwiki.setup
index e016673..ae4bbc5 100644 (file)
--- a/doc/ikiwiki.setup
+++ b/doc/ikiwiki.setup
@@ -30,6 +30,7 @@ add_plugins:
 - html
 - img
 - pagetemplate
+- sidebar
 
 # plugins to disable
 disable_plugins:

diff --git a/doc/sidebar.mdwn b/doc/sidebar.mdwn
new file mode 100644 (file)
index 0000000..bc6d830
--- /dev/null
+++ b/doc/sidebar.mdwn
@@ -0,0 +1,2 @@
+- [[Servers]]
+- [[Services]]