/patch-Makefile/1.8/Fri Sep 20 13:13:49 2002//
/patch-manual_texi/1.2/Sun Feb  3 06:16:09 2002//
D
