update makeman.sh script to not try to makeindex anymore since not doing an index