diff --git a/tex4ht.usr b/tex4ht.usr index 240c612a76a93614adbaac71a3d0f7d7de363e76..59d26021e6e36d9f4033e42373f65c9844629725 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