pre-serverpath

Robert Rottermann

@robert

11d4fcfa · set path for sphinx · Sep 16, 2016

make sure we can easily come back before merging serverpath