# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1342208533 -10800
# Node ID 80c5eff010a1a3167d4e9cda5d00403808a7f1b6
# Parent  3bd105dc47ab4325bc05e99bde9007e14ac5c549
Ignore HEADER.rst

diff -r 3bd105dc47ab -r 80c5eff010a1 index.sh
--- 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%.*}