Added Thomas Miedema to credits.
tree0aff85a84e8764ab0ec381a1c91d0794faf88e96
-rw-r--r-- 35147 COPYING
-rw-r--r-- 2620 Makefile
-rw-r--r-- 1848 book.css
-rw-r--r-- 1353 custom-html.xsl
-rw-r--r-- 313 custom-nochunks.xsl
drwxr-xr-x - en
drwxr-xr-x - es
-rw-r--r-- 875 find_selflink.js
-rwxr-xr-x 1142 makeover