view doc/.static/PLACEHOLDER @ 1377:0665274b14af

Minor fixes for better Sphinx doc output
author Olivier Delalleau <delallea@iro>
date Thu, 18 Nov 2010 14:14:48 -0500
parents 9472d234db2e
children
line wrap: on
line source

sphinx doesn't like it when this repertory isn't available