diff --git a/ChangeLog b/ChangeLog
index 33ee0184385368be7bf3523f6bdc2535c710d58d..eb9ad6910c58fc312f521c28bf3b7188f348bb67 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2015-03-26  Niels Möller  <nisse@diamant.hack.org>
+
+	* version.h.in (NETTLE_USE_MINI_GMP): Substitute here.
+
 2015-03-25  Niels Möller  <nisse@diamant.hack.org>
 
 	* configure.ac (MAJOR_VERSION, MINOR_VERSION): Tweak sed
diff --git a/version.h.in b/version.h.in
index 036aaf7a90219d1aaaf0fbd0dc6560fe02b2911e..e3c01dba0d3ac65b4908236852e3210c23c26a68 100644
--- a/version.h.in
+++ b/version.h.in
@@ -42,6 +42,8 @@ extern "C" {
 #define NETTLE_VERSION_MAJOR @MAJOR_VERSION@
 #define NETTLE_VERSION_MINOR @MINOR_VERSION@
 
+#define NETTLE_USE_MINI_GMP @NETTLE_USE_MINI_GMP@
+
 #ifdef __cplusplus
 }
 #endif