diff options
| author | David Thompson <dthompson2@worcester.edu> | 2017-01-23 20:40:04 -0500 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2017-01-23 20:40:04 -0500 |
| commit | 9e4fba766d070a2dd72b7180c1a040d4621218b8 (patch) | |
| tree | f4d817ed6e5489792a0bccb5bf0dfc22720ed95f /website/manual/GNU-Free-Documentation-License.html | |
| parent | 16bc1eae0c66d418fd60b81068cc37c7b6ec01ea (diff) | |
website: Update manual.
Diffstat (limited to 'website/manual/GNU-Free-Documentation-License.html')
| -rw-r--r-- | website/manual/GNU-Free-Documentation-License.html | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/website/manual/GNU-Free-Documentation-License.html b/website/manual/GNU-Free-Documentation-License.html index d915f17..5da31f2 100644 --- a/website/manual/GNU-Free-Documentation-License.html +++ b/website/manual/GNU-Free-Documentation-License.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: GNU Free Documentation License</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} --> |