Umbenennung notentext() -> gesangstext(), Dokumentationsupdate.
commit548197de02f58877ee28331452e01d82511c692f
authorGünter Milde <milde@users.sf.net>
Tue, 20 Nov 2018 15:19:23 +0000 (20 16:19 +0100)
committerGünter Milde <milde@users.sf.net>
Tue, 20 Nov 2018 15:22:10 +0000 (20 16:22 +0100)
tree3ce8c886861ba95b7eb2aabb0d8e6f5ea42b09fd
parentb501edcd8c679590cf938575865894f2ef7a907b
Umbenennung notentext() -> gesangstext(), Dokumentationsupdate.

Die Bezeichnung des Stilfilters für Texte unter Noten war
irreführend: Notentext bezeichnet die Noten selbst, der
Text unter den Noten ist ein Liedtext oder, allgemeiner,
Gesangstext.

Re-organisation und Anwendungsbeispiele in Trennstile.txt.
dokumente/README.wortliste
dokumente/Trennstile.txt
skripte/python/edit_tools/stilfilter.py