/patch-Makefile/1.6/Mon Oct 16 19:26:07 2000//
/patch-manual_texi/1.1/Wed Sep 26 18:38:43 2001//
D
