diff --git a/Makefile b/Makefile index b4882cc31..d00136784 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,7 @@ +.PHONY: all mostlyclean clean install avail unavail bin lib doc + +.SUFFIXES: + all mostlyclean clean install: @$(MAKE) -C src --no-print-directory $@ @$(MAKE) -C libsrc --no-print-directory $@ @@ -8,12 +12,11 @@ avail unavail bin: lib: @$(MAKE) -C libsrc --no-print-directory $@ +doc: + @$(MAKE) -C doc --no-print-directory $@ + %65: @$(MAKE) -C src --no-print-directory $@ %: @$(MAKE) -C libsrc --no-print-directory $@ - -.PHONY: all mostlyclean clean install avail unavail bin lib - -.SUFFIXES: