diff options
Diffstat (limited to 'Master/texmf-dist/doc/support/latexindent/cmhlistings.tex')
-rw-r--r-- | Master/texmf-dist/doc/support/latexindent/cmhlistings.tex | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Master/texmf-dist/doc/support/latexindent/cmhlistings.tex b/Master/texmf-dist/doc/support/latexindent/cmhlistings.tex index 85aff0881cd..1f058616d6d 100644 --- a/Master/texmf-dist/doc/support/latexindent/cmhlistings.tex +++ b/Master/texmf-dist/doc/support/latexindent/cmhlistings.tex @@ -20,4 +20,9 @@ .. warning::^^J #1^^J .. endwarning::^^J -}{} +} +\newcommand{\example}[1]{ +.. proof:example::^^J +#1^^J +.. endproof:example::^^J +} |