# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1470314037 -10800
# Node ID 812770d563e4694d7e1a9f4aeb4383e9e3bbfb7a
# Parent  4bebef3422601ab9b988b75344d0e529d46f5543
There are no longer *.txt files.

diff -r 4bebef342260 -r 812770d563e4 misc/chm-hhc.sh
--- a/misc/chm-hhc.sh	Thu Aug 04 15:31:15 2016 +0300
+++ b/misc/chm-hhc.sh	Thu Aug 04 15:33:57 2016 +0300
@@ -15,23 +15,15 @@
 echo '    <param name="local" value="iframe.html">\n'
 echo '  </object>'
 
-for file in *.rst *.txt; do
+for file in *.rst; do
   case $file in
     HEADER.rst) continue;;
   esac
   ext=${file##*.}
   name=${file%.${ext}}
   echo '  <li><object type="text/sitemap">'
-  case $ext in
-    txt)
-      printf '    <param name="name" value="%s">\n' $name
-      printf '    <param name="local" value="%s.txt">\n' $name
-      ;;
-    rst)
-      printf '    <param name="name" value="%s">\n' $name
-      printf '    <param name="local" value="%s.html">\n' $name
-      ;;
-  esac
+  printf '    <param name="name" value="%s">\n' $name
+  printf '    <param name="local" value="%s.html">\n' $name
   echo '  </object>'
 done
 
diff -r 4bebef342260 -r 812770d563e4 misc/chm-hhp.sh
--- a/misc/chm-hhp.sh	Thu Aug 04 15:31:15 2016 +0300
+++ b/misc/chm-hhp.sh	Thu Aug 04 15:33:57 2016 +0300
@@ -17,16 +17,13 @@
 echo ''
 echo '[FILES]'
 
-for file in *.rst *.txt; do
+for file in *.rst; do
   case $file in
     HEADER.rst) continue;;
   esac
   ext=${file##*.}
   name=${file%.${ext}}
   case $ext in
-    txt)
-      echo $name.txt
-      ;;
     rst)
       echo $name.html
       ;;