diff --git a/doc/fix.hva b/doc/fix.hva index ddb07387142c58e238193d841519abfc9961473b..ea66f6f5244d01210fb6f26fd0692ef6cbf4f85b 100644 --- a/doc/fix.hva +++ b/doc/fix.hva @@ -5,7 +5,7 @@ \newcommand{\vfill}{} \newcommand{\hrulefill}{} \newcommand{\null}{} -\newcommand{\path}[1]{\texttt{#1}} +\def\path{\begingroup\urlstyle{tt}\Url} \renewcommand{\framebox}[1]{#1} \makeatletter