Hi Luc,
Jetzt lese ich (auf http://www.gnu.org/licenses/licenses.en.html) folgendes:
Documentation for free software should be free documentation, so that people can redistribute it and improve it along with the software it describes. To make it free documentation, you need to release it under a free documentation license. We normally use the GNU Free Documentation License (GNU FDL), but occasionally we use other free documentation licenses.
Heißt das, dass meine Verfahrensweise nicht ganz korrekt ist? Ist meine Dokumentation nicht automatisch auch frei, wenn sie unter der GPL steht?
Nein, ist absolut in Ordnung!
Die GNU FDL hat selbst zahlreiche Probleme. Deshalb würde ich persönlich für nichts verwenden!
Gruß Michael