chiark / gitweb /
man: drop rhs parts in snippets in directive index
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Thu, 28 Feb 2013 02:31:02 +0000 (21:31 -0500)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Thu, 28 Feb 2013 02:55:00 +0000 (21:55 -0500)
commit699ad6c06c0e235f588c900934bdf4bed421503b
tree8b37106960b3f91a6275f966692b6cb6958286a5
parent185c3be03cec26023acc11b49553753aa7330a1d
man: drop rhs parts in snippets in directive index

-       --exit-if-exists=file
+       --exit-if-exists=
etc.
make-directive-index.py