1 2 3 4 5 6 7 8 9 10 11 12 13 14
# Translate # # \begin{enumerate} # \def\labelenumi{\arabic{enumi}.} # \tightlist # # to # # \begin{enumerate}[label=\triviaenum*] /^.def.labelenumi/ d /^.tightlist/ d /begin.*enumerate/ s/$/[label=\\triviaenum*]/