diff --git a/docs/Makefile b/docs/Makefile index 3cc770b..512588e 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -10,8 +10,11 @@ ifndef VERBOSE endif .PHONY : clean + all : html + html : index.html + technical : technical/index.html %.html : %.txt