doc/Makefile: Don't insist on using /bin/bash

Fix "make doc" for systems that don't have /bin/bash.  There's no
bash-specific code in doc/Makefile anymore.

diff --git a/doc/Makefile b/doc/Makefile
index db378be67191bcdbf87e27ca8b410969a59a5ab5..a67148798576d9f1603ff4319a515745582eb190 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,6 +1,6 @@
 # $Id$
 
-SHELL = /bin/bash
+SHELL = /bin/sh
 
 CONTRIBUTED_MODULES = ""
 #ifeq ($(shell ls mod_http_bind.tex),mod_http_bind.tex)