diff --git a/backend/index.php b/backend/index.php
index 67832b308..8e7f8f936 100644
--- a/backend/index.php
+++ b/backend/index.php
@@ -1,6 +1,7 @@
-<?php 
-// Simulate a /backend shortcut call
+<?php
+// $Id$
+
+// Simulate a /backend shortcut call (which will lead to a manual page)
 $_SERVER['REQUEST_URI'] = '/backend';
 include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
 include_once $_SERVER['DOCUMENT_ROOT'] . '/error.php';
-?>
diff --git a/bin/index.php b/bin/index.php
index 1386e74ae..f85f2e009 100644
--- a/bin/index.php
+++ b/bin/index.php
@@ -1,6 +1,7 @@
 <?php
-// Simulate a /bin shortcut call
+// $Id$
+
+// Simulate a /bin shortcut call (which will lead to a manual page)
 $_SERVER['REQUEST_URI'] = '/bin';
 include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
 include_once $_SERVER['DOCUMENT_ROOT'] . '/error.php';
-?>
diff --git a/include/index.php b/include/index.php
index ebb5011bd..b17210e08 100644
--- a/include/index.php
+++ b/include/index.php
@@ -1,6 +1,7 @@
 <?php
-// Simulate a /include shortcut call
+// $Id$
+
+// Simulate a /include shortcut call (which will lead to a manual page)
 $_SERVER['REQUEST_URI'] = '/include';
 include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
 include_once $_SERVER['DOCUMENT_ROOT'] . '/error.php';
-?>
diff --git a/pear/index.php b/pear/index.php
index efe1f28d7..19045199e 100644
--- a/pear/index.php
+++ b/pear/index.php
@@ -1,6 +1,7 @@
 <?php
-// Simulate a /pear shortcut call
+// $Id$
+
+// Simulate a /pear shortcut call (which will lead to a manual page)
 $_SERVER['REQUEST_URI'] = '/pear';
 include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
 include_once $_SERVER['DOCUMENT_ROOT'] . '/error.php';
-?>
diff --git a/styles/index.php b/styles/index.php
new file mode 100644
index 000000000..f08f5747b
--- /dev/null
+++ b/styles/index.php
@@ -0,0 +1,7 @@
+<?php
+// $Id$
+
+// Simulate a /styles shortcut call (which will lead to a manual page)
+$_SERVER['REQUEST_URI'] = '/styles';
+include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
+include_once $_SERVER['DOCUMENT_ROOT'] . '/error.php';