[PATCH 2 of 3] doc/Makefile: detect the right name for rst2man and rst2html

[Mads Kiilerich]

# HG changeset patch
# User Mads Kiilerich <mads at kiilerich.com>
# Date 1250804146 -7200
# Node ID 256fcebb2cd0a1ac76fa3aa3ef3a867a4261912d
# Parent  aefe772ff3521a6648e199aa8e5565388e34dc80
doc/Makefile: detect the right name for rst2man and rst2html

docutils uses the .py extension on the commands, and so do their installer.
Distribution packages might strip the .py, but the official name should work too.

diff --git a/doc/Makefile b/doc/Makefile
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -5,8 +5,8 @@
 MANDIR=$(PREFIX)/share/man
 INSTALL=install -c -m 644
 PYTHON=python
-RST2HTML=rst2html
-RST2MAN=rst2man
+RST2HTML=$(shell which rst2html 2> /dev/null || which rst2html.py)
+RST2MAN=$(shell which rst2man 2> /dev/null || which rst2man.py)
 
 all: man html