diff options
| author | Jeremy Harris <jgh146exb@wizmail.org> | 2020-01-24 13:17:03 +0000 |
|---|---|---|
| committer | Jeremy Harris <jgh146exb@wizmail.org> | 2020-01-24 19:28:32 +0000 |
| commit | 24c7087f56530d2d81a92d9955afef13b4f1462f (patch) | |
| tree | 1defd2d5566ee05cb93bbdd3e0730c1d2e62712c /doc | |
| parent | 4f252517dc0e8eda6c1eb1031ac0bcd29b6a7a93 (diff) | |
Docs: fix layout
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/doc-docbook/spec.xfpt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/doc-docbook/spec.xfpt b/doc/doc-docbook/spec.xfpt index ed0053777..3bea313c1 100644 --- a/doc/doc-docbook/spec.xfpt +++ b/doc/doc-docbook/spec.xfpt @@ -9732,7 +9732,7 @@ letters appear. For example: "&*$bheader_*&<&'header&~name'&>&*:*&&~or&~&&& &*$bh_*&<&'header&~name'&>&*:*&" &&& "&*$lheader_*&<&'header&~name'&>&*:*&&~or&~&&& - &*$lh_*&<&'header&~name'&>&*:*&" + &*$lh_*&<&'header&~name'&>&*:*&" &&& "&*$rheader_*&<&'header&~name'&>&*:*&&~or&~&&& &*$rh_*&<&'header&~name'&>&*:*&" .cindex "expansion" "header insertion" |