id summary reporter owner description type status priority component severity resolution keywords cc release 5412 Export Wiki-Pages to other formats (HTML, Eclipse-Help, Docbook) Ivan Ivan "Export Wiki-Pages to HTML, Eclipse-Help and maybe Docbook Design and implement a GUI that allows to export selected wiki pages to other formats suported by [http://wiki.eclipse.org/Mylyn/WikiText Mylyn WikiText]" enhancement new normal WikiEditorForEclipsePlugin minor 0.11