diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2021-03-30 07:38:07 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2021-03-30 07:38:07 -0700 |
| commit | 826adac3ad4c7db50e322360f1be8bad5e9e74b7 (patch) | |
| tree | 3e3d253d1ba345961f5e79e1e6f80ccc945965be /checkman.txr | |
| parent | 156b12bb4e0553be845acff6292e814a4436bb15 (diff) | |
| download | txr-826adac3ad4c7db50e322360f1be8bad5e9e74b7.tar.gz txr-826adac3ad4c7db50e322360f1be8bad5e9e74b7.tar.bz2 txr-826adac3ad4c7db50e322360f1be8bad5e9e74b7.zip | |
doc: blank lines after IP sections.
* checkman.txr (check-ip): New pattern function for checking
for IP, coIP and meIP macros followed by blank line. This
causes a formatting issue in HTML.
* txr.1: Fix numerous instances of problem caught by check-ip.
Diffstat (limited to 'checkman.txr')
| -rw-r--r-- | checkman.txr | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/checkman.txr b/checkman.txr index 13bab474..9a085ae0 100644 --- a/checkman.txr +++ b/checkman.txr @@ -130,6 +130,14 @@ @ (throw bad ln ".meti not in .mono") @(end) @;; +@;; Check for .IP, coIP or .meIP followed by blank line +@;; +@(define check-ip ()) +.@{ip /IP|coIP|meIP/}@(skip) + +@ (throw bad ln `.@ip followed by blank line`) +@(end) +@;; @;; Main @;; @(bind errors 0) @@ -152,6 +160,8 @@ @ (check-spurious) @ (or) @ (check-meti) +@ (or) +@ (check-ip) @ (end) @ (catch bad (line msg)) @ (do (inc errors) |