index.sh
changeset 1336 80c5eff010a1
parent 1079 ef0805397b5b
child 1784 a9e8554a24d3
--- a/index.sh	Fri Jul 13 22:33:22 2012 +0300
+++ b/index.sh	Fri Jul 13 22:42:13 2012 +0300
@@ -17,6 +17,9 @@
 echo '<ul>'
 
 for file in *.rst *.txt; do
+  case $file in
+    HEADER.rst) continue;
+  esac
   ext=${file##*.}
   [ "$ext" = "rst" ] && ext=html
   name=${file%.*}