diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-07-24 15:15:00 +0200 |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-07-24 15:15:00 +0200 |
| commit | 33368b7e5cca1600e908e1f780595abea840ca7d (patch) | |
| tree | caa69e2f349f30533f2d613ab2f72f2b9b839326 /doc/Makefile | |
| parent | Re-generate the XMPP codec using updated xml_gen (diff) | |
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.
Diffstat (limited to '')
| -rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index db378be6..a6714879 100644 --- 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) |