diff options
Diffstat (limited to 'doc/src/Makefile')
| -rw-r--r-- | doc/src/Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/src/Makefile b/doc/src/Makefile index 551d8b2f6f..38471a1193 100644 --- a/doc/src/Makefile +++ b/doc/src/Makefile @@ -23,19 +23,19 @@ TARGETS= $(SRC:%=%.tar.gz) .PRECIOUS: .PHONY: install all sources clean distclean -install:: +install: $(MAKE) all (mv -f *.gz ..) -clean:: +clean: $(MAKE) -C sgml clean -distclean:: +distclean: $(MAKE) -C sgml distclean -all:: $(TARGETS) +all: $(TARGETS) -sources:: +sources: $(MAKE) sources.tar.gz sources.tar: |