From 4e70a78aa373df6a2941afcd499ffaf39fb7b975 Mon Sep 17 00:00:00 2001 From: Dongdong Tian Date: Sun, 26 Feb 2017 10:43:48 +0800 Subject: [PATCH] update Makefile --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index bad3bfdf41..084f458ce5 100644 --- a/Makefile +++ b/Makefile @@ -32,6 +32,7 @@ help: @echo " latex to make LaTeX files" @echo " dummy to check syntax errors of document sources" @echo " deploy to deploy html, zip and PDF to github" + @echo " release to prepare HTML and PDF files for release" clean: rm -rf $(BUILDDIR)/*