GitLab

(lispref/Makefile): New target.
(mostlyclean, clean, distclean, maintainer-clean): Add lispintro.
(unlock, relock, info, dvi): Ditto.