GitLab

(INFO_TARGETS): Add ../info/org.
(DVI_TARGETS): Add org.dvi.
(maintainer-clean): Remove the info files in the info dir.