diff --git a/mkmi b/mkmi
index 56f0e573ea83326659f37b748d746b1e64517cf7..815c96e4aa2ea6ae8e88705a1caf772066166fe9 100755
--- a/mkmi
+++ b/mkmi
@@ -1,5 +1,5 @@
 #!/bin/sh
-# $Id: mkmi,v 1.5 1994/04/04 20:33:50 ceder Exp $ 
+# $Id: mkmi,v 1.6 1995/11/02 19:46:52 ceder Exp $ 
 # Generate Makefile.in from Makefile.src template
 # Copyright (C) 1994  Lysator Academic Computer Association.
 #
@@ -34,6 +34,7 @@ for i in \
 	src/libraries/libisc-new/src/Makefile \
 	src/libraries/libmisc/Makefile \
 	src/libraries/regex/Makefile \
+	src/libraries/gnumalloc/Makefile \
 	src/server/Makefile \
 	run-support/Makefile
 do