Sebastien BLANCHET

I have written a patch for this issue (see attachment) If you prefer a web preview, see it on my github account Web version https://github.com/sblanchet/dls/commit/39e9308e884feaedc4b7afca84209cb47733cbdd

Documenation: wrong size for type TLINT and TULINT

Use English filenames instead of German ones for the documentation files

Use English filenames instead of German ones for the documenation files

Missing widgets in dls_ctl when using X2GO or Putty+Xming

improve documentation

Generate documentation index

doku: generate documentation index