Added distr entry
This commit is contained in:
parent
db0c67dd10
commit
117cb7fd55
1 changed files with 2 additions and 0 deletions
|
@ -15,6 +15,8 @@ FLS = README Makefile $(DOC)
|
|||
.distr: Makefile
|
||||
echo $(FLS) | tr ' ' '\012' >.distr
|
||||
|
||||
distr: .distr
|
||||
|
||||
clean:
|
||||
rm -f int.doc
|
||||
|
||||
|
|
Loading…
Reference in a new issue