[Bug manual/13750] New: Do not build manuals in source directory

[jsm28 at gcc dot gnu.org]

http://sourceware.org/bugzilla/show_bug.cgi?id=13750

             Bug #: 13750
           Summary: Do not build manuals in source directory
           Product: glibc
           Version: 2.15
            Status: NEW
          Severity: normal
          Priority: P2
         Component: manual
        AssignedTo: unassigned@sourceware.org
        ReportedBy: jsm28@gcc.gnu.org
                CC: roland@gnu.org
    Classification: Unclassified


Building manuals in the source directory made sense when info manuals (and
generated Texinfo sources used to build them, I think) were included in release
tarballs (as still mentioned, inaccurately, in install.texi: "The distribution
already includes the on-line formatted version of the manual, as Info files. 
You can regenerate those with @w{@code{make info}}, but it shouldn't be
necessary.").  Now "make dist" uses "git archive" and these files do not go in
the tarballs.  It would seem appropriate to build all formats of documentation
(other than the special INSTALL and NOTES files) in the build directory only
(removing manual/.gitignore).

-- 
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.