> I propose changing the license of Info manuals from GNU Free > Documentation License (GFDL) to GNU General Public License (GPL). I agree. Masatake YAMATO