eiffeldoc has wiki-handling (e. g. the command line argument -wiki_prefix)
I understand it as a specific feature which seems only useful for the online library doc of SmartEiffel. We should decide what to do with this feature.
I see the options:
2. improve description in "--help", such that even I understand it
3. generalize, such that it is also useful for a liberty user
What du you think?
definitely, 2 and 3