Remove legacy docs and gallery

documentation/check.sh

Index: documentation/check.sh
diff --git a/documentation/check.sh b/documentation/check.sh
deleted file mode 100755
index ce3b49f4c2540b4c07f5dd1616da3074331c06ac..0000000000000000000000000000000000000000
--- a/documentation/check.sh
+++ /dev/null
@@ -1,26 +0,0 @@
-#!/bin/bash
-
-# simple script to check html via tidy. Either specify html files on
-# command line or rely on default which checks all html files in
-# current directory
-set -o nounset
-set -o errexit
-
-
-CheckFile () {
-  echo "========================================"
-  echo "checking $1"
-  echo "========================================"
-  tidy -e -q $1
-}
-
-
-if [ $# -eq 0  ] ; then
-  for file in *.html ; do
-   CheckFile ${file}
-  done
-else
-  for file in $* ; do
-   CheckFile ${file}
-  done
-fi