diff options
author | Roland McGrath <roland@gnu.org> | 1993-10-20 21:32:11 +0000 |
---|---|---|
committer | Roland McGrath <roland@gnu.org> | 1993-10-20 21:32:11 +0000 |
commit | 898b0745f6d6ced5d2fc09ec4e295787b7d4e585 (patch) | |
tree | 60aaa20e3e7e32d86b8127bc55d11527cd2221f5 /Rules | |
parent | 9644fdd910b3e711fbe0dd5ba6b4268ea69acfb6 (diff) |
Formerly ../Rules.~30~
Diffstat (limited to 'Rules')
-rw-r--r-- | Rules | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -122,4 +122,5 @@ dist: ../Make-dist # Convenient target to update all the generated source files. .PHONY: generated +fo:=$(shell echo>&2 '+++generated: $(generated)') generated: $(generated) |