/patch-configure/1.4/Fri Jul 25 14:20:50 2008//
/patch-doc_Makefile_in/1.3/Mon Jul 28 22:13:25 2008//
/patch-doc_spec_Makefile_in/1.1/Fri Jul 25 14:20:50 2008//
/patch-examples_Makefile_in/1.3/Mon Jul 28 22:13:25 2008//
D
