diff options
author | InigoGutierrez <inigogf.95@gmail.com> | 2022-10-26 20:43:34 +0200 |
---|---|---|
committer | InigoGutierrez <inigogf.95@gmail.com> | 2022-10-26 20:43:34 +0200 |
commit | e74f404f9cb5f0d5752178ab8baf4055c0a10f84 (patch) | |
tree | fb1efe91789c8a039deb541f81eab60252d9b5a3 /doc/tex/implementation.tex | |
parent | 95a42188701405ce15b77ae80832c670e307fbb9 (diff) | |
download | imago-e74f404f9cb5f0d5752178ab8baf4055c0a10f84.tar.gz imago-e74f404f9cb5f0d5752178ab8baf4055c0a10f84.zip |
Adding examples of protocols.
Diffstat (limited to 'doc/tex/implementation.tex')
-rw-r--r-- | doc/tex/implementation.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tex/implementation.tex b/doc/tex/implementation.tex index 24a231c..ffb2802 100644 --- a/doc/tex/implementation.tex +++ b/doc/tex/implementation.tex @@ -113,7 +113,7 @@ updates them if they already exist but their source files are newer than them. It has been used to generate this text from \LaTeX{} and PlantUML source files. The contents of the Makefile with which this document has been compiled are -shown in \flist{code:makefile}. +shown in \lref{code:makefile}. \begin{listing}[h] \inputminted{make}{Makefile} |