From 67137d392b4d2358c43f9c050b330b2ec34490ac Mon Sep 17 00:00:00 2001 From: "Bradley M. Kuhn" Date: Fri, 7 Nov 2014 10:25:31 -0500 Subject: [PATCH] Shorten the menu item further: s/page/pg/ --- tex4ht.usr | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tex4ht.usr b/tex4ht.usr index 8ce20d7..ed32c73 100644 --- a/tex4ht.usr +++ b/tex4ht.usr @@ -8,9 +8,9 @@ \:CheckOption{monolith} \if:Option \newcommand{\monolith}{\Configure{@BODY}{\footermenu\HCode{}}} \newcommand{\selectpropermenuitem}{\HCode{
  • HTML
  • \Hnewline -
  • HTML (1 page)
  • \Hnewline}} +
  • HTML (1 pg)
  • \Hnewline}} \else \newcommand{\selectpropermenuitem}{\HCode{
  • HTML
  • \Hnewline -
  • HTML (1 page)
  • \Hnewline}} +
  • HTML (1 pg)
  • \Hnewline}} \newcommand{\monolith}{\Configure{next+}{\footermenu\HCode{\Hnewline}}} \fi