diff --git a/doc/index.php b/doc/index.php
deleted file mode 100644
index 0473c910ae..0000000000
--- a/doc/index.php
+++ /dev/null
@@ -1,110 +0,0 @@
-
-
-
-
-
-The following Pacemaker documentation was generated from the upstream sources
-
-
Version: $version
";
- foreach (glob("build-$version.txt") as $filename) {
- readfile($filename);
- }
- echo "";
-
- foreach (glob("$base/*/Pacemaker/$version") as $item) {
- $lang = basename(dirname(dirname($item)));
-
- $books = array();
- foreach (glob("$base/$lang/Pacemaker/$version/pdf/*") as $filename) {
- $books[] = basename($filename);
- }
-
- foreach ($books as $b) {
- echo "- ".str_replace("_", " ", $b)." ($lang)";
- foreach (glob("$base/$lang/Pacemaker/$version/epub/$b/*.epub") as $filename) {
- echo " [epub]";
- }
- foreach (glob("$base/$lang/Pacemaker/$version/pdf/$b/*.pdf") as $filename) {
- echo " [pdf]";
- }
- foreach (glob("$base/$lang/Pacemaker/$version/html/$b/index.html") as $filename) {
- echo " [html]";
- }
- foreach (glob("$base/$lang/Pacemaker/$version/html-single/$b/index.html") as $filename) {
- echo " [html-single]";
- }
- foreach (glob("$base/$lang/Pacemaker/$version/txt/$b/*.txt") as $filename) {
- echo " [txt]";
- }
- }
- echo "
";
- }
- echo "
";
- }
-
-$docs = array();
-
-foreach (glob("*.html") as $file) {
- $fields = explode(".", $file, -1);
- $docs[] = implode(".", $fields);
-}
-
-foreach (glob("*.pdf") as $file) {
- $fields = explode(".", $file, -1);
- $docs[] = implode(".", $fields);
-}
-
-echo "";
-
-foreach(array_unique($docs) as $doc) {
- echo "- $doc";
- foreach (glob("$doc.pdf") as $filename) {
- echo " [pdf]";
- }
- foreach (glob("$doc.html") as $filename) {
- echo " [html]";
- }
- foreach (glob("$doc.txt") as $filename) {
- echo " [txt]";
- }
- echo "
";
-}
-
-foreach(get_versions(".") as $v) {
- docs_for_version(".", $v);
-}
-
-echo "
";
-?>
-
-You can find additional documentation and details about the Pacemaker project at http://www.clusterlabs.org.
-
-
-
-
-
-
-