Automake now also used for documentation