Remove a header that no longer fits the way we've organized the export APIs.

Also, tweak a configuration test and fix some docs.

1 files changed, 1 insertions, 1 deletions

diff --git a/HACKING b/HACKING
index df5f3a6e..e9352abc 100644
--- a/HACKING
+++ b/HACKING
@@ -3,6 +3,6 @@ this file is on the website:
 
   http://gpsd.berlios.de/hacking.html
 
-and therefore also in the sources as:
+and therefore also in the repository as:
 
   www/hacking.html