diff options
| -rw-r--r-- | doc/Makefile | 19 | ||||
| -rw-r--r-- | doc/README.md | 9 |
2 files changed, 27 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile new file mode 100644 index 0000000..9638a4f --- /dev/null +++ b/doc/Makefile @@ -0,0 +1,19 @@ +# A Makefile for generating the PDF from Latex. Simply type 'make' in +# this directory to compile the Latex into a single PDF. Type 'make +# clean' to discard the output files except for the generated PDF. + +# RULES +# ----- +all: manual.pdf + +# Create the PDF file. +manual.pdf : manual.tex manual.bib + pdflatex manual + bibtex manual + pdflatex manual + pdflatex manual + +clean: + rm -f manual.aux manual.bbl manual.blg + rm -f manual.log manual.out manual.toc + diff --git a/doc/README.md b/doc/README.md index 760d64a..7687e81 100644 --- a/doc/README.md +++ b/doc/README.md @@ -4,13 +4,20 @@ The following commands will generate a PDF of the GEMMA manual from the Latex: ```bash +cd doc pdflatex manual bibtex manual pdflatex manual pdflatex manual ``` +Alternatively, you can use the Makefile: + +```bash +cd doc +make +``` + To run these commands, you will need a TeX distribution such as [TexLive](https://www.tug.org/texlive) that includes commands `pdflatex` and `bibtex`. - |