fix minitoc/heading error
tree7ccb305f9dc40c60ac540a69dc98bd2bfbee9f31
-rw-r--r-- 43 AUTHORS
-rw-r--r-- 17992 COPYING
-rw-r--r-- 0 ChangeLog
-rw-r--r-- 9240 INSTALL
-rw-r--r-- 65 Makefile.am
-rw-r--r-- 0 NEWS
-rw-r--r-- 41 README
-rw-r--r-- 138 TODO
-rw-r--r-- 3788 config.h.in
-rw-r--r-- 1206 configure.in
-rw-r--r-- 638 crosswin32.sh
drwxr-xr-x - libvspell
drwxr-xr-x - scripts
drwxr-xr-x - tests
drwxr-xr-x - thesis
drwxr-xr-x - ui