diff options
Diffstat (limited to 'specification/latex/specification.aux')
| -rw-r--r-- | specification/latex/specification.aux | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/specification/latex/specification.aux b/specification/latex/specification.aux new file mode 100644 index 0000000..e6173fd --- /dev/null +++ b/specification/latex/specification.aux @@ -0,0 +1,18 @@ +\relax +\ifx\hyper@anchor\@undefined +\global \let \oldcontentsline\contentsline +\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} +\global \let \oldnewlabel\newlabel +\gdef \newlabel#1#2{\newlabelxx{#1}#2} +\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} +\AtEndDocument{\let \contentsline\oldcontentsline +\let \newlabel\oldnewlabel} +\else +\global \let \hyper@last\relax +\fi + +\select@language{english} +\@writefile{toc}{\select@language{english}} +\@writefile{lof}{\select@language{english}} +\@writefile{lot}{\select@language{english}} +\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces A frame in RSSP}}{2}{figure.1}} |