]> granicus.if.org Git - ejabberd/commitdiff
Merge pull request #261 from weiss/no-bash
authorEvgeny Khramtsov <xramtsov@gmail.com>
Thu, 24 Jul 2014 13:44:06 +0000 (17:44 +0400)
committerEvgeny Khramtsov <xramtsov@gmail.com>
Thu, 24 Jul 2014 13:44:06 +0000 (17:44 +0400)
doc/Makefile: Don't insist on using /bin/bash


Trivial merge