This is the mail archive of the
gdb-prs@sourceware.org
mailing list for the GDB project.
[Bug gdb/20417] 'make install' fails when documentation tools are not available
- From: "noloader at gmail dot com" <sourceware-bugzilla at sourceware dot org>
- To: gdb-prs at sourceware dot org
- Date: Wed, 27 Jul 2016 16:37:00 +0000
- Subject: [Bug gdb/20417] 'make install' fails when documentation tools are not available
- Auto-submitted: auto-generated
- References: <bug-20417-4717@http.sourceware.org/bugzilla/>
https://sourceware.org/bugzilla/show_bug.cgi?id=20417
Jeffrey Walton <noloader at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |noloader at gmail dot com
--
You are receiving this mail because:
You are on the CC list for the bug.