[Bug other/102663] New: add an install-dvi Makefile target to the toplevel Makefile and all subdirectories

[egallager at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102663

            Bug ID: 102663
           Summary: add an install-dvi Makefile target to the toplevel
                    Makefile and all subdirectories
           Product: gcc
           Version: 12.0
               URL: https://gcc.gnu.org/legacy-ml/gcc-patches/2016-10/msg0
                    0380.html
            Status: UNCONFIRMED
          Keywords: documentation, patch
          Severity: normal
          Priority: P3
         Component: other
          Assignee: unassigned at gcc dot gnu.org
          Reporter: egallager at gcc dot gnu.org
  Target Milestone: ---

Some subdirectories have dvi targets that allow building of dvi-formatted
documentation, but they don't have install-dvi targets, meaning the dvi files
have to be copied to the docdir manually. I had a patch for this at one point,
but it never got reviewed, and I'm not sure if it applies any longer:
https://gcc.gnu.org/legacy-ml/gcc-patches/2016-10/msg00380.html