--- configure.orig     Wed Apr  3 18:24:13 2002
+++ configure  Wed Apr  3 18:25:13 2002
@@ -7790,7 +7790,7 @@

 #include <stdlib.h>
 #include <stdio.h>
-#include <xmlversion.h>
+#include <libxml2/libxml/xmlversion.h>

 int
 main()
@@ -7911,7 +7911,7 @@
 #line 7911 "configure"
 #include "confdefs.h"

-#include <xmlversion.h>
+#include <libxml2/libxml/xmlversion.h>
 #include <stdio.h>

 #ifdef F77_DUMMY_MAIN
