diff --git a/Makefile b/Makefile index 013a96416..244732acd 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,4 @@ -all: c doc +all: c c: .always make -C c install doc: .always