From f287cc9eefabf4b548ce95883607f47e7b7c4718 Mon Sep 17 00:00:00 2001 From: Otto Tronarp Date: Tue, 11 Feb 2020 13:48:29 +0100 Subject: [PATCH] Removing redundant statement regarding vendor annotations (they can appear anywhere in any annotation) --- chapters/annotations.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/chapters/annotations.tex b/chapters/annotations.tex index dc690dc96..52f7469f8 100644 --- a/chapters/annotations.tex +++ b/chapters/annotations.tex @@ -49,7 +49,7 @@ \section{Annotations for Documentation}\doublelabel{annotations-for-documentatio \end{lstlisting} The ``\lstinline!Documentation!'' annotation can contain the ``\lstinline!info!'' annotation giving a textual description, the ``\lstinline!revisions!'' annotation giving a list -of revisions and other annotations defined by a tool {[}\emph{The +of revisions {[}\emph{The ``revisions'' documentation may be omitted in printed documentation}{]}, and the ``\lstinline!figures!'' annotation giving a list of \lstinline!Figure! annotations as described in \autoref{annotations-for-figures}.