[skip ci] Build helpers on push
This commit is contained in:
1 parent
0c951d0d1d
commit
62ba0500c1
1 file changed
+1
@@ -715,6 +715,7 @@
|
|||||||
\newcommand{\highlightglossaryref}[]{\textbf{#1}}
|
\newcommand{\highlightglossaryref}[]{\textbf{#1}}
|
||||||
\newcommand{\setGlossaryMarkup}{
|
\newcommand{\setGlossaryMarkup}{
|
||||||
\newcommand{\gls}[1]{\highlightglossaryref{\gls{#1}}}
|
\newcommand{\gls}[1]{\highlightglossaryref{\gls{#1}}}
|
||||||
|
\newcommand{\Gls}[1]{\highlightglossaryref{\Gls{#1}}}
|
||||||
\newcommand{\acrshort}[1]{\highlightglossaryref{\acrshort{#1}}}
|
\newcommand{\acrshort}[1]{\highlightglossaryref{\acrshort{#1}}}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Reference in new issue
Block a user