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/helgrind/docs/hg_main.html b/helgrind/docs/hg_main.html
index 99f56da..74ee451 100644
--- a/helgrind/docs/hg_main.html
+++ b/helgrind/docs/hg_main.html
@@ -7,11 +7,11 @@
<a name="hg-top"></a>
<h2>6 Helgrind: a data-race detector</h2>
-To use this skin, you must specify <code>--skin=helgrind</code> on the
+To use this tool, you must specify <code>--tool=helgrind</code> on the
Valgrind command line.
<p>
-Helgrind is a Valgrind skin for detecting data races in C and C++ programs
+Helgrind is a Valgrind tool for detecting data races in C and C++ programs
that use the Pthreads library.
<p>
It uses the Eraser algorithm described in
@@ -51,7 +51,7 @@
thread with a <code>pthread_join()</code> operation -- they can both access the
same variable without holding a lock.
<p>
-There's a lot of other sophistication in the Helgrind skin, aimed at
+There's a lot of other sophistication in Helgrind, aimed at
reducing the number of false reports, and at producing useful error
reports. We hope to have more documentation one day...