usermanual : rework lua attributes according to what upegelow told me to do
Merge branch 'master' into usermanual
usermanual.lua: a few fixes
Merge branch 'master' into usermanual
usermanual : fix link id to be XML compliant
usermanual: a first small step to make xmllint happy
usermanual: further minor fix in usermanual.lua
usermanual: make xmllint happy
usermanual: proofreading thanks to Mark Garrow
usermanual: minor update to usermanual.lua
usermanual: make DOCTYPE match content of file
usermanual: pretty-print docbook sources
usermanual: pretty-print reworked a bit
Use g_list_free_full/g_slist_free_full
usermanual: documentation of implemented feature request #9709 (manually adapted from pull request #390)
Removed comments => smaller file | 33% done
Merge pull request #413 from MRIG/master

Updated Dutch translation
Fix an overflow of the lua stack

Credits go to boucman for the fix.
Merge branch 'master' into usermanual
usermanual: put each instance of <programlisting> into individual <para> environment

needed to get xml2po working