diff --git a/docs/Makefile b/docs/Makefile index 512588e..1d90f51 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -11,7 +11,7 @@ endif .PHONY : clean -all : html +all : html technical html : index.html