Merge autoconf documentation so it works