Removing redundant statement regarding vendor annotations (they can a…

…ppear anywhere in any annotation)
modelica · Feb 11, 2020 · f287cc9 · f287cc9
1 parent 9caafd2
commit f287cc9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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}.