From b234ed1929f74b12d3315e729a546f10eba3a593 2014-11-07 06:20:39
From: Bradley M. Kuhn <bkuhn@ebb.org>
Date: 2014-11-07 06:20:39
Subject: [PATCH] Although, monolith must be defined to something.

---

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{</nav></div></footer>}}}
+ \else
+   \newcommand{\monolith}{}
  \fi