summaryrefslogtreecommitdiff
path: root/website/manual/Command_002dline-Interface.html
diff options
context:
space:
mode:
Diffstat (limited to 'website/manual/Command_002dline-Interface.html')
-rw-r--r--website/manual/Command_002dline-Interface.html5
1 files changed, 2 insertions, 3 deletions
diff --git a/website/manual/Command_002dline-Interface.html b/website/manual/Command_002dline-Interface.html
index 3071266..4b08cf8 100644
--- a/website/manual/Command_002dline-Interface.html
+++ b/website/manual/Command_002dline-Interface.html
@@ -9,7 +9,7 @@ any later version published by the Free Software Foundation; with no
Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A
copy of the license is included in the section entitled "GNU Free
Documentation License". -->
-<!-- Created by GNU Texinfo 6.0, http://www.gnu.org/software/texinfo/ -->
+<!-- Created by GNU Texinfo 6.3, http://www.gnu.org/software/texinfo/ -->
<head>
<title>Haunt Reference Manual: Command-line Interface</title>
@@ -46,9 +46,8 @@ pre.smalldisplay {font-family: inherit; font-size: smaller}
pre.smallexample {font-size: smaller}
pre.smallformat {font-family: inherit; font-size: smaller}
pre.smalllisp {font-size: smaller}
-span.nocodebreak {white-space: nowrap}
span.nolinebreak {white-space: nowrap}
-span.roman {font-family: serif; font-weight: normal}
+span.roman {font-family: initial; font-weight: normal}
span.sansserif {font-family: sans-serif; font-weight: normal}
ul.no-bullet {list-style: none}
-->