I am currently working on the Makefile system of bibletime-doc. Should the html files be included in the package, without being installed on the user's system? This would blow up the package a bit, but also make the documentation readable without installing BibleTime. Just give me your opinion. For now I'll include the files. Martin