diff --git a/doc/int/Makefile b/doc/int/Makefile
index 663eaedbf..5bff9a344 100755
--- a/doc/int/Makefile
+++ b/doc/int/Makefile
@@ -15,6 +15,8 @@ FLS =		README Makefile $(DOC)
 .distr:		Makefile
 		echo $(FLS) | tr ' ' '\012' >.distr
 
+distr:	.distr
+
 clean:
 		rm -f int.doc