diff --git a/doc/Makefile b/doc/Makefile index e128d456066a3999a5e5474863f661753b1c306b..fa2bd9a9a0d274a0271744ce380b5f06b0cef720 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,3 +1,5 @@ +all: asdf.html asdf.info asdf.pdf + manual-html: asdf.texinfo makeinfo --html asdf.texinfo @@ -10,3 +12,7 @@ asdf.info: asdf.texinfo asdf.pdf: asdf.texinfo texi2pdf asdf.texinfo +.PHONY: clean +clean: + -rm -r asdf + -rm asdf.info asdf.html asdf.pdf