Fix docs makefile to use a proper short version