diff options
-rw-r--r-- | Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -70,9 +70,10 @@ $(TDS_ZIP): $(ALL_FILES) manifest: @echo "Source files:" - @echo $(SOURCE) + @for f in $(SOURCE); do echo $$f; done + @echo "" @echo "Derived files:" - @echo $(COMPILED) $(GENERATED) + @for f in $(GENERATED); do echo $$f; done clean: @$(RM) -- *.log *.aux *.toc *.idx *.ind *.ilg |