Fix checking of generator being run from the right directory.

Originally it was looking for 'config.status', but this file
might not exist until configure has been run.  Make it look for
HACKING instead.

diff --git a/src/generator.ml b/src/generator.ml
index 1a4e507..66c272f 100755 (executable)
--- a/src/generator.ml
+++ b/src/generator.ml
@@ -8096,7 +8096,7 @@ let output_to filename =
 let () =
   check_functions ();
 
 let () =
   check_functions ();
 

-  if not (Sys.file_exists "config.status") then (
+  if not (Sys.file_exists "HACKING") then (

     eprintf "\
 You are probably running this from the wrong directory.
 Run it from the top source directory using the command
     eprintf "\
 You are probably running this from the wrong directory.
 Run it from the top source directory using the command