diff options
author | Todd C. Miller <Todd.Miller@sudo.ws> | 2021-11-10 16:45:16 -0700 |
---|---|---|
committer | Todd C. Miller <Todd.Miller@sudo.ws> | 2021-11-10 16:45:16 -0700 |
commit | 92253bc4f25e6196543130e6e3b9d94218583772 (patch) | |
tree | 0c5b0bf9099327346f04155a439fd029dd5d7535 /docs/fixmdoc.sed | |
parent | 075258fe837a1e77f48d02233c6ff191e0cb7409 (diff) | |
download | sudo-92253bc4f25e6196543130e6e3b9d94218583772.tar.gz |
Rename "doc" directory to "docs" for better GitHub compatibility.
Diffstat (limited to 'docs/fixmdoc.sed')
-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 000000000..3d572166f --- /dev/null +++ b/docs/fixmdoc.sed @@ -0,0 +1,5 @@ +# Replace "0 minutes" with "unlimited" +/^\.Li 0$/ { + N + s/^\.Li 0\nminutes\.$/unlimited./ +} |