diff --git a/Doc/texinputs/python.sty b/Doc/texinputs/python.sty index 2190f25a4a6..30fef216ed4 100644 --- a/Doc/texinputs/python.sty +++ b/Doc/texinputs/python.sty @@ -685,6 +685,7 @@ \newcommand{\strong}[1]{{\bf #1}} % let's experiment with a new font: \newcommand{\file}[1]{`{\small\textsf{#1}}'} +\newcommand{\filenq}[1]{{\small\textsf{#1}}} % Use this def/redef approach for \url{} since hyperref defined this already, % but only if we actually used hyperref: