diff --git a/manual/heptagon-manual.pdf b/manual/heptagon-manual.pdf
index 5c15970..8c8d2b5 100644
Binary files a/manual/heptagon-manual.pdf and b/manual/heptagon-manual.pdf differ
diff --git a/manual/heptagon-manual.tex b/manual/heptagon-manual.tex
index f9ab8a7..d406e8e 100644
--- a/manual/heptagon-manual.tex
+++ b/manual/heptagon-manual.tex
@@ -227,17 +227,20 @@ simulated node's inputs, and prints its outputs on the standard output. Such
 executable, for the simulation of the node \texttt{f}, can be obtained by the
 \texttt{-s <node>} option:
 \begin{alltt}
-> heptc -target c -s f example.ept
+> heptc -target c -s f -hepts example.ept
 \end{alltt}
 
 We can then directly compile the generated C program (whose main function stand
 in the \texttt{\_main.c} file):
 \begin{alltt}
 > cd example_c
-> gcc -Wall -c example.c
-> gcc -Wall -c _main.c
+> gcc -Wall -c -I <path_to_lib>/c example.c
+> gcc -Wall -c -I <path_to_lib>/c _main.c
 > gcc -o f_sim _main.o example.o       # \text{executable creation}
 \end{alltt}
+Where \verb+<path_to_lib>+ is the path to the Heptagon library (e.g.,
+\texttt{/usr/local/lib/heptagon}), and can be obtained with the command
+\texttt{heptc -where}.
 
 This executable \texttt{f\_sim} can then be used with the graphical simulator
 \texttt{hepts}, which takes as argument:
diff --git a/web/pub/heptagon-manual.pdf b/web/pub/heptagon-manual.pdf
index 5c15970..8c8d2b5 100644
Binary files a/web/pub/heptagon-manual.pdf and b/web/pub/heptagon-manual.pdf differ