diff options
Diffstat (limited to '')
| -rw-r--r-- | docs/fixmdoc.sed | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/fixmdoc.sed b/docs/fixmdoc.sed new file mode 100644 index 0000000..3d57216 --- /dev/null +++ b/docs/fixmdoc.sed @@ -0,0 +1,5 @@ +# Replace "0 minutes" with "unlimited" +/^\.Li 0$/ { + N + s/^\.Li 0\nminutes\.$/unlimited./ +} |