little pipadoc cleanup, sort index case independenty
[nobug] / doc /
drwxr-xr-x   ..
-rw-r--r-- 741 additional.txt
-rw-r--r-- 787 annotationtable.txt
-rw-r--r-- 597 asciidoc.pawk
-rw-r--r-- 1399 bestpractices.txt
-rw-r--r-- 1280 buildinstall.txt
-rw-r--r-- 850 buildlevels.txt
-rw-r--r-- 1260 dumping.txt
-rw-r--r-- 1481 initialization.txt
-rw-r--r-- 1781 logconfiguration.txt
-rw-r--r-- 4990 logflags.txt
-rw-r--r-- 1543 logging.txt
-rw-r--r-- 2069 macros.txt
-rw-r--r-- 1288 manual.conf
-rw-r--r-- 1193 multithreading.txt
-rw-r--r-- 1247 nobug7.conf
-rw-r--r-- 1317 overview.txt
-rw-r--r-- 376 resourcedeadlock.txt
-rw-r--r-- 1348 resourceexample.txt
-rw-r--r-- 3508 resourcetracking.txt
-rw-r--r-- 895 scopechecks.txt
-rw-r--r-- 1833 using.txt
-rw-r--r-- 1038 whichlibrary.txt