Started to rescind the name "skin", replacing it with "tool". Did this in all
the places that normal users will see:
- command line: --tool=foo (although --skin=foo still works)
- docs: removed all traces (included renaming coregrind_skins.html to
coregrind_tools.html)
- in the usage messages
- in error messages
Also did in in some places that I judged were unlikely to cause clashes with
existing workspaces:
- in the header comments of many files (eg. "This file is part of Memcheck, a
Valgrind tool for...")
- in the regtests script
- in the .supp files
- in AUTHORS
- in README_MISSING_SYSCALL_OR_IOCTL
Also update the AUTHORS file to mention Jeremy.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2027 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/make-uninstall-docs b/make-uninstall-docs
index e7709a9..cc0db79 100755
--- a/make-uninstall-docs
+++ b/make-uninstall-docs
@@ -7,7 +7,7 @@
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_skins.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