diff -r 7bfe538a4cfe -r 4bebef342260 misc/chm-hhc.sh
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/misc/chm-hhc.sh Thu Aug 04 15:31:15 2016 +0300
@@ -0,0 +1,41 @@
+#!/bin/sh
+
+echo ''
+echo ' '
+echo ' '
+echo ' '
+echo ''
+echo ''
+echo ''
+
+echo ' - '
+
+for file in *.rst *.txt; do
+ case $file in
+ HEADER.rst) continue;;
+ esac
+ ext=${file##*.}
+ name=${file%.${ext}}
+ echo '
- '
+done
+
+echo '
'
+echo ''
+echo ''
+