[PATCH] doc: Allow rst2man.py as an alternative to rst2man

2015-01-03 Thread Tomi Ollila
On Sat, Jan 03 2015, "W. Trevor King" wrote: > On Sat, Jan 03, 2015 at 04:49:27PM +0100, David Bremner wrote: >> At the risk of bike-shedding, rewrite the configure check to be more >> "obvious". This is pretty subjective, but in particular I'm not a >> big fan of resetting RST2MAN at the bottom

[PATCH] doc: Allow rst2man.py as an alternative to rst2man

2015-01-03 Thread David Bremner
Tomi Ollila writes: > I'd presume anyone else using such an old system will have bigger > problems getting their notmuch compiled (recent enough zlib being one > of those), so this makes me wonder whether there is actually anyone > needing rst2man there (besides me, of course :) I guess the orig

[PATCH] doc: Allow rst2man.py as an alternative to rst2man

2015-01-03 Thread David Bremner
From: "W. Trevor King" Gentoo's dev-python/docutils-0.10 installs Docutils scripts with a *.py extension, so I have /usr/bin/rst2man.py and no rst2man script. This patch supports users with both types of systems by checking for rst2man, falling back on rst2man.py, and giving up only if neither is

[PATCH] doc: Allow rst2man.py as an alternative to rst2man

2015-01-03 Thread Tomi Ollila
From: W. Trevor King Gentoo's dev-python/docutils-0.10 installs Docutils scripts with a *.py extension, so I have /usr/bin/rst2man.py and no rst2man script. This patch supports users with both types of systems by checking for rst2man, falling back on rst2man.py, and giving up only if neither is f

Re: [PATCH] doc: Allow rst2man.py as an alternative to rst2man

2015-01-03 Thread W. Trevor King
On Sat, Jan 03, 2015 at 07:12:13PM +0200, Tomi Ollila wrote: > … so this makes me wonder whether there is actually anyone needing > rst2man there… Requiring Sphinx >= 1.0 (2010-07-23 [1]) to build man pages is fine with me. Cheers, Trevor [1]: https://pypi.python.org/pypi/Sphinx/1.0 -- This em

[PATCH] doc: Allow rst2man.py as an alternative to rst2man

2015-01-03 Thread W. Trevor King
On Sat, Jan 03, 2015 at 07:12:13PM +0200, Tomi Ollila wrote: > ? so this makes me wonder whether there is actually anyone needing > rst2man there? Requiring Sphinx >= 1.0 (2010-07-23 [1]) to build man pages is fine with me. Cheers, Trevor [1]: https://pypi.python.org/pypi/Sphinx/1.0 -- This em

Re: [PATCH] doc: Allow rst2man.py as an alternative to rst2man

2015-01-03 Thread David Bremner
Tomi Ollila writes: > I'd presume anyone else using such an old system will have bigger > problems getting their notmuch compiled (recent enough zlib being one > of those), so this makes me wonder whether there is actually anyone > needing rst2man there (besides me, of course :) I guess the orig

Re: [PATCH] doc: Allow rst2man.py as an alternative to rst2man

2015-01-03 Thread Tomi Ollila
On Sat, Jan 03 2015, "W. Trevor King" wrote: > On Sat, Jan 03, 2015 at 04:49:27PM +0100, David Bremner wrote: >> At the risk of bike-shedding, rewrite the configure check to be more >> "obvious". This is pretty subjective, but in particular I'm not a >> big fan of resetting RST2MAN at the bottom

Re: [PATCH] doc: Allow rst2man.py as an alternative to rst2man

2015-01-03 Thread W. Trevor King
On Sat, Jan 03, 2015 at 04:49:27PM +0100, David Bremner wrote: > At the risk of bike-shedding, rewrite the configure check to be more > "obvious". This is pretty subjective, but in particular I'm not a > big fan of resetting RST2MAN at the bottom of every iteration of the > for loop. Also conform

[PATCH] doc: Allow rst2man.py as an alternative to rst2man

2015-01-03 Thread W. Trevor King
On Sat, Jan 03, 2015 at 04:49:27PM +0100, David Bremner wrote: > At the risk of bike-shedding, rewrite the configure check to be more > "obvious". This is pretty subjective, but in particular I'm not a > big fan of resetting RST2MAN at the bottom of every iteration of the > for loop. Also conform

[PATCH] doc: Allow rst2man.py as an alternative to rst2man

2015-01-03 Thread David Bremner
From: "W. Trevor King" Gentoo's dev-python/docutils-0.10 installs Docutils scripts with a *.py extension, so I have /usr/bin/rst2man.py and no rst2man script. This patch supports users with both types of systems by checking for rst2man, falling back on rst2man.py, and giving up only if neither is

[PATCH] doc: Allow rst2man.py as an alternative to rst2man

2015-01-03 Thread Tomi Ollila
From: W. Trevor King Gentoo's dev-python/docutils-0.10 installs Docutils scripts with a *.py extension, so I have /usr/bin/rst2man.py and no rst2man script. This patch supports users with both types of systems by checking for rst2man, falling back on rst2man.py, and giving up only if neither is f