History Manual/Directories/trunk/Manual.texi