* Miscellaneous changes suggested by RMS.
-rw-r--r-- 157895 make.texinfo