Overhauled the docs.  Removed all the HTML files, put in XML files as
converted by Donna.  Hooked it into the build system so they are only
built when specifically asked for, and when doing "make dist".

They're not perfect;  in particular, there are the following problems:
- The plain-text FAQ should be built from FAQ.xml, but this is not
  currently done.  (The text FAQ has been left in for now.)

- The PS/PDF building doesn't work -- it fails with an incomprehensible
  error message which I haven't yet deciphered.

Nonetheless, I'm putting it in so others can see it.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3153 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/configure.in b/configure.in
index 437dcc3..63df619 100644
--- a/configure.in
+++ b/configure.in
@@ -356,6 +356,9 @@
    valgrind.spec
    valgrind.pc
    docs/Makefile 
+   docs/lib/Makefile
+   docs/images/Makefile
+   docs/xml/Makefile
    tests/Makefile 
    tests/vg_regtest 
    tests/unused/Makefile 
@@ -371,7 +374,6 @@
    auxprogs/Makefile
    coregrind/Makefile 
    coregrind/demangle/Makefile 
-   coregrind/docs/Makefile
    coregrind/amd64/Makefile
    coregrind/arm/Makefile
    coregrind/x86/Makefile