Hi,
Zu gunsten der Übersichtlichkeit würde ich die Tags gerne farbig markiert haben. Nun meine Frage:
Gibt es einen HTML-Editor, der eine Funktion zum exportieren des Quelltextes hat?
Hmm, wieso "exportieren"?
Wenn Du die Dokumentation direkt in LyX (oder meinetwegen LaTeX) machst, dann kannst Du mit \usepackage{listings} den gesamten Quelltext direkt ab source importieren (kein copy/paste noetig, Du hast immer die aktuelle Version drin!). Das Teil kann highlighting, Umbruch von langen Zeilen, Nummerierung etc. etc.
Und der Export als PDF ist sowieso dabei ;-)
Gruss aus Lausanne,
- Joerg