diff --git a/tex4ht.usr b/tex4ht.usr index 240c612..59d2602 100644 --- a/tex4ht.usr +++ b/tex4ht.usr @@ -16,4 +16,6 @@ \:CheckOption{monolith} \if:Option \newcommand{\monolith}{\Configure{@BODY}{\startmymenu\selectmonolith\finishmymenu\HCode{}}} + \else + \newcommand{\monolith}{} \fi