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
