diff --git a/Makefile b/Makefile index a0c9872d..161de77d 100644 --- a/Makefile +++ b/Makefile @@ -7,6 +7,9 @@ all: html: make -C source html +linkcheck: + make -C source linkcheck + help: @echo "Please use \`make ' where is one of" @echo " html to make standalone HTML files"