Class renaming WIKI_DOCS prefix changed into -> WDOCS prefix.
Updated the all.css to "see" the links in sidebar (temp changes, since we should update the .scss files instead)

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95727 8089f293-4706-0410-a29e-feb5c42a2edf
Removed unused locals.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95732 8089f293-4706-0410-a29e-feb5c42a2edf
Removed "theme" preference from WDOCS_MODULE code, since it is not anymore relevant (reusing the CMS theme information).
Cleaned up code, and removed useless values.
Fixed doc-page.tpl template to restore the footer code.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95733 8089f293-4706-0410-a29e-feb5c42a2edf
Added an example that demonstrates SCOOP program crash on Linux when compiled with an old run-time.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95734 8089f293-4706-0410-a29e-feb5c42a2edf
Corrected system name.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95735 8089f293-4706-0410-a29e-feb5c42a2edf
Added missing command-line options.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95736 8089f293-4706-0410-a29e-feb5c42a2edf