diff options
Diffstat (limited to 'website/manual/Command_002dline-Interface.html')
| -rw-r--r-- | website/manual/Command_002dline-Interface.html | 5 |
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} --> |