/patch-configure/1.4/Fri Jul 25 14:20:50 2008//
/patch-doc_Makefile_in/1.3/Fri Jul 25 14:20:18 2008//
/patch-doc_spec_Makefile_in/1.1/Fri Jul 25 14:20:50 2008//
/patch-examples_Makefile_in/1.3/Fri Jul 25 14:20:18 2008//
D
