aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRobin Alexander <robin.alexander@netplus.ch>2023-08-08 09:46:22 +0200
committerRobin Alexander <robin.alexander@netplus.ch>2023-08-08 09:46:22 +0200
commitcc51eb07785309de0921be18f9de6063618e4dd1 (patch)
tree5b31d99509d84e789fae337573a06efd8d22faec
parent0ccdb0d4a29fac78fa54615cf383809fa212a469 (diff)
downloadmmbtools-doc-cc51eb07785309de0921be18f9de6063618e4dd1.tar.gz
mmbtools-doc-cc51eb07785309de0921be18f9de6063618e4dd1.tar.bz2
mmbtools-doc-cc51eb07785309de0921be18f9de6063618e4dd1.zip
Enhance README.md
-rw-r--r--README.md6
1 files changed, 5 insertions, 1 deletions
diff --git a/README.md b/README.md
index 0bb3456..ebc4d3b 100644
--- a/README.md
+++ b/README.md
@@ -12,7 +12,11 @@ It also complements the opendigitalradio.org wiki.
How to build locally
--------------------
-1. On a debian-based host, install the packages: `texlive texlive-fonts-extra texlive-latex-extra texlive-science cm-super`
+The pdf document will always be created automatically by the github repository upon a push.
+However, it can be interesting to create the pdf on your host, in order to check the outcome of your changes prior to pushing them to the repository.
+
+On your debian-based host:
+1. Install the packages: `make texlive texlive-fonts-extra texlive-latex-extra texlive-science cm-super`
1. Run the following command: `make clean && make`
Latest Version