Andreas Lauser 29ca3fdd81 change the script for extracting the detailed description from the doxygen generated latex files so that it works even if there is no detailed description

2012-07-11 23:27:38 +02:00

..

handbook

change the script for extracting the detailed description from the doxygen generated latex files so that it works even if there is no detailed description

2012-07-11 23:27:38 +02:00