Added distr entry

author ceriel <none@none>

Mon, 4 Jul 1988 14:55:22 +0000 (14:55 +0000)

committer ceriel <none@none>

Mon, 4 Jul 1988 14:55:22 +0000 (14:55 +0000)
author ceriel <none@none>
Mon, 4 Jul 1988 14:55:22 +0000 (14:55 +0000)
committer ceriel <none@none>
Mon, 4 Jul 1988 14:55:22 +0000 (14:55 +0000)
diff --git a/doc/int/Makefile b/doc/int/Makefile

index 663eaed..5bff9a3 100755 (executable)
--- 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