diff options
| author | Loic Guegan <manzerbredes@mailbox.org> | 2022-09-12 10:45:38 +0200 |
|---|---|---|
| committer | Loic Guegan <manzerbredes@mailbox.org> | 2022-09-12 10:45:38 +0200 |
| commit | 99f195105adf709799074b727cb06cc8b0558f9f (patch) | |
| tree | e09367a962da6c5ee0da19488263850b2f6d7510 /manual/Makefile | |
| parent | c3eb8db7a1e01dd2e7592b5f190bd94741798f98 (diff) | |
Update user manual
Diffstat (limited to 'manual/Makefile')
| -rw-r--r-- | manual/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/manual/Makefile b/manual/Makefile new file mode 100644 index 0000000..f07674c --- /dev/null +++ b/manual/Makefile @@ -0,0 +1,5 @@ + + + +manual.pdf: manual.tex + pdflatex -shell-escape manual |