diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..f2019ba --- /dev/null +++ b/Makefile @@ -0,0 +1,14 @@ +# File: Makefile +# Author: Amlal El Mahrouss +# Purpose: Generate HTML papers from LaTex documents. + +all: html-wg01 html-wg02 + @echo "=> DONE. + +.PHONY: html-wg01 +html-wg01: + htlatex source/wg01/wg01.tex + +.PHONY: html-wg02 +html-wg02: + htlatex source/wg02/wg02.tex |