From 117cb7fd552232fce5e2d860a4b568e555e785f0 Mon Sep 17 00:00:00 2001
From: ceriel <none@none>
Date: Mon, 4 Jul 1988 14:55:22 +0000
Subject: [PATCH] Added distr entry

---
 doc/int/Makefile | 2 ++
 1 file changed, 2 insertions(+)

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
 
-- 
2.34.1