merge from main

--HG--
branch : fuzz

1 files changed, 1 insertions, 0 deletions

diff --git a/options.h b/options.h
index 7d6087c..c12cfc9 100644
--- a/options.h
+++ b/options.h
@@ -5,6 +5,7 @@
             > > > Don't edit this file any more! < < <
             
 Local compile-time configuration should be defined in localoptions.h
+in the build directory.
 See default_options.h.in for a description of the available options.
 */