From 99f195105adf709799074b727cb06cc8b0558f9f Mon Sep 17 00:00:00 2001 From: Loic Guegan Date: Mon, 12 Sep 2022 10:45:38 +0200 Subject: Update user manual --- manual/Makefile | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 manual/Makefile (limited to 'manual/Makefile') 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 -- cgit v1.2.3