History Manuals/Texinfo/Directories/trunk/Manual/Licenses.texi