1 files changed, 5 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index 7e90f70..74a61e9 100644
--- a/INSTALL
+++ b/INSTALL
@@ -38,3 +38,8 @@ Tips and tricks:
        $ git clean -f -x -d
 
     CAUTION: This will REMOVE ALL FILES not committed to the git repo!
+
+  * As it is generally recommended to configure rasdaman --with-hdf4,
+    you should add that flag when you run "make distcheck" as well:
+
+       $ make distcheck DISTCHECK_CONFIGURE_FLAGS="--with-hdf4"