summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/support/latexindent/cmhlistings.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/support/latexindent/cmhlistings.tex')
-rw-r--r--Master/texmf-dist/doc/support/latexindent/cmhlistings.tex7
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
+}