chiark / gitweb /
build-sys: really make gtk-doc optional & some portability fixes