diff options
| author | Jacob Nevins <jacobn@chiark.greenend.org.uk> | 2007-01-28 18:42:50 +0000 |
|---|---|---|
| committer | Jacob Nevins <jacobn@chiark.greenend.org.uk> | 2007-01-28 18:42:50 +0000 |
| commit | 64f71c43291cdb469d4fbe2d70dccc9b4b768537 (patch) | |
| tree | d37e5dafa942794b487f452c7073dbf292496dee /doc/input.but | |
| parent | e02852ebbc72fa47fe4578eb1a7846dd24af2720 (diff) | |
| download | halibut-64f71c43291cdb469d4fbe2d70dccc9b4b768537.zip halibut-64f71c43291cdb469d4fbe2d70dccc9b4b768537.tar.gz halibut-64f71c43291cdb469d4fbe2d70dccc9b4b768537.tar.bz2 halibut-64f71c43291cdb469d4fbe2d70dccc9b4b768537.tar.xz | |
Use consistent capitalisation for HTML tags.
[originally from svn r7178]
Diffstat (limited to 'doc/input.but')
| -rw-r--r-- | doc/input.but | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/input.but b/doc/input.but index 38a7a65..eb5299a 100644 --- a/doc/input.but +++ b/doc/input.but @@ -976,7 +976,7 @@ The three special paragraph types are: \dd This defines the overall title of the entire document. This title is treated specially in some output formats (for example, it's -used in a \cw{<title>} tag in the HTML output), so it needs a +used in a \cw{<TITLE>} tag in the HTML output), so it needs a special paragraph type to point it out. \dt \i\cw{\\copyright} |