diff options
Diffstat (limited to 'manual/2html')
| -rwxr-xr-x | manual/2html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/manual/2html b/manual/2html index 605c6e59..a300f8d4 100755 --- a/manual/2html +++ b/manual/2html | |||
| @@ -324,6 +324,7 @@ N = function (s) return (string.gsub(s, " ", " ")) end, | |||
| 324 | NE = id, -- tag"foreignphrase", | 324 | NE = id, -- tag"foreignphrase", |
| 325 | num = id, | 325 | num = id, |
| 326 | ["nil"] = fixed(Tag.b"nil"), | 326 | ["nil"] = fixed(Tag.b"nil"), |
| 327 | fail = fixed(Tag.b"fail"), | ||
| 327 | Open = fixed"{", | 328 | Open = fixed"{", |
| 328 | part = section("h1", true), | 329 | part = section("h1", true), |
| 329 | Pat = compose(verbfixed, prepos("'", "'")), | 330 | Pat = compose(verbfixed, prepos("'", "'")), |