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.
2014-07-24 15:15:00 +02:00 · 2014-07-24 15:15:00 +02:00 · 33368b7e5c
parent a087af7060
commit 33368b7e5c
1 changed files with 1 additions and 1 deletions
--- 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)