path: root/website/manual/Builders.html
diff options
authorDavid Thompson <>2017-01-23 20:40:04 -0500
committerDavid Thompson <>2017-01-23 20:40:04 -0500
commit9e4fba766d070a2dd72b7180c1a040d4621218b8 (patch)
treef4d817ed6e5489792a0bccb5bf0dfc22720ed95f /website/manual/Builders.html
parent16bc1eae0c66d418fd60b81068cc37c7b6ec01ea (diff)
website: Update manual.
Diffstat (limited to 'website/manual/Builders.html')
1 files changed, 2 insertions, 3 deletions
diff --git a/website/manual/Builders.html b/website/manual/Builders.html
index 734ad74..bcba9c1 100644
--- a/website/manual/Builders.html
+++ b/website/manual/Builders.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, -->
+<!-- Created by GNU Texinfo 6.3, -->
<title>Haunt Reference Manual: Builders</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} {list-style: none}