]> granicus.if.org Git - ejabberd/commit
projects / ejabberd / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a087af7) | patch
doc/Makefile: Don't insist on using /bin/bash
authorHolger Weiss <holger@zedat.fu-berlin.de>
Thu, 24 Jul 2014 13:15:00 +0000 (15:15 +0200)
committerHolger Weiss <holger@zedat.fu-berlin.de>
Thu, 24 Jul 2014 13:15:00 +0000 (15:15 +0200)
commit33368b7e5cca1600e908e1f780595abea840ca7d
treecaa69e2f349f30533f2d613ab2f72f2b9b839326tree | snapshot
parenta087af706013c27fe876fe1a99c20d836e10b5f5commit | 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.
doc/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.