Commit e53a1047 authored by Raymond Toy's avatar Raymond Toy

Update Makefiles

Update these make files to match what we did for cmu-user so we use
our copy of texinfo.tex.
parent 0e8c1c06
Pipeline #981 passed with stages
in 33 seconds