From 2276777817c43afa92ae8565ca3b9f4ec6798633 Mon Sep 17 00:00:00 2001 From: Oliver Schmidt Date: Wed, 5 Feb 2014 17:55:10 +0100 Subject: [PATCH] Added doc goal to top level Makefile. --- Makefile | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) 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: -- 2.39.5