# Fake makefile needed on OS/2, see gtk-doc comments in configure.in. EXTRA_DIST=