Remove ancient and presumably (since it doesn't work) now-unused script.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4075 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/make-uninstall-docs b/make-uninstall-docs
deleted file mode 100755
index cc0db79..0000000
--- a/make-uninstall-docs
+++ /dev/null
@@ -1,21 +0,0 @@
-#!/bin/sh
-
-# small tool to help documentation writers.
-# Copy docs out of an installation tree (`pwd`/Inst) back to the build tree
-# since it is a lot easier to edit them in the installation tree.
-# Use with care!
-
-cp  Inst/share/doc/valgrind/coregrind_core.html   coregrind/docs
-cp  Inst/share/doc/valgrind/coregrind_intro.html  coregrind/docs
-cp  Inst/share/doc/valgrind/coregrind_tools.html  coregrind/docs
-cp  Inst/share/doc/valgrind/manual.html           docs
-cp  Inst/share/doc/valgrind/ac_main.html          addrcheck/docs
-cp  Inst/share/doc/valgrind/mc_main.html          memcheck/docs
-cp  Inst/share/doc/valgrind/mc_techdocs.html      memcheck/docs
-cp  Inst/share/doc/valgrind/cg_main.html          cachegrind/docs
-cp  Inst/share/doc/valgrind/cg_techdocs.html      cachegrind/docs
-cp  Inst/share/doc/valgrind/cc_main.html          corecheck/docs
-cp  Inst/share/doc/valgrind/hg_main.html          helgrind/docs
-cp  Inst/share/doc/valgrind/lk_main.html          lackey/docs
-cp  Inst/share/doc/valgrind/nl_main.html          none/docs
-