fdl.texi
gpl.texi
