doc/Makefile
changeset 9405 7345fa5e572e
parent 9401 2a5144687727
child 9418 a82db54bc3be
--- a/doc/Makefile	Thu Aug 27 00:01:03 2009 +0200
+++ b/doc/Makefile	Thu Aug 20 23:35:46 2009 +0200
@@ -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