In our previous episode, Hans-Peter Diettrich said: > This would be a very useful extension, indeed. Unfortunately the RTL and > FCL have such irregular requirements, that much work is required to > provide a usable command line for the compilation of the according > documentation. Like "./fixdocs.sh" ?