Fixing build system for documentation