de/basic.txt heading fixes.
tree6b3c414e6c931d84bca89faf6015e8d87dadb6fe
-rw-r--r-- 35147 COPYING
-rw-r--r-- 2622 Makefile
-rw-r--r-- 1858 book.css
-rw-r--r-- 1353 custom-html.xsl
-rw-r--r-- 313 custom-nochunks.xsl
drwxr-xr-x - de
drwxr-xr-x - en
drwxr-xr-x - es
-rw-r--r-- 875 find_selflink.js
-rwxr-xr-x 1142 makeover