Changé le PID file pour Sphinx
authorEric Mc Sween <eric.mcsween@gmail.com>
Tue, 23 Nov 2010 15:24:51 +0000 (10:24 -0500)
committerEric Mc Sween <eric.mcsween@gmail.com>
Tue, 23 Nov 2010 15:24:51 +0000 (10:24 -0500)
commite45b59b40d4864dada3c6fd9740299f4b2c85c39
treec2c8f1cfa33c697654c4f3449b32d67bbed43561
parent29e2a8fd95ca3b5d5bf119a8e6e0b7b4068723cf
Changé le PID file pour Sphinx
auf_savoirs_en_partage/scripts/sphinx.conf.py.in