\newcommand{\cmhlistingsfromfile}[4]{ .. literalinclude:: #1^^J ^^I:class: .#4^^J ^^I:caption: #2^^J ^^I:name: #3^^J } \newcommand{\cmhlistingsfromfilelines}[4]{ .. literalinclude:: #1^^J ^^I:class: .#4^^J ^^I:caption: #2^^J ^^I:name: #3^^J ^^I:linenos:^^J } \newcommand{\cmhlistingsfromfilefour}[6]{ .. literalinclude:: #3^^J ^^I:class: .#6^^J ^^I:caption: #4^^J ^^I:name: #5^^J ^^I:lines: #1-#2^^J ^^I:linenos:^^J ^^I:lineno-start: #1^^J } \newcommand{\cmhlabel}[1]{ .. \_#1:^^J } \newcommand{\warning}[1]{ .. warning::^^J #1^^J .. endwarning::^^J } \newcommand{\example}[1]{ .. proof:example::^^J #1^^J .. endproof:example::^^J }