> So which license should we prefer for documentation files: > - make all documentation files into GPL > - make all documentation files into FDL > - keep the licenses of all files as they are
Since I currently don't want to invest much time into groff, I vote for no change, of course. > In any case, the file LICENSES has to be updated accordingly. Patches are welcomed :-) Werner