Prevent documentation from being regenerated when $DESTDIR is specified
Allow setting encoding