CARL documentation installation: fix ./Makefile.m4 to point to where
you want documentation to live, then run the usual installation procedure.