John Marino 631c533d91 x11-tools/gtkada3: Fix build when DOCS option is deselected ... (Note: The vast majority of users should never deselected docs -- These appear on the GPS IDE menu and most users are only building gtkada3 to build GPS. But it is an option and thus needs to be supported) While here, strip two libraries. PR: 201137 Submitted by: amdmi3		2015-06-27 05:45:12 +00:00
..
files	x11-tools/gtkada3: Fix build when DOCS option is deselected	2015-06-27 05:45:12 +00:00
distinfo	Ada Framework: Switch to gcc5-aux, upgrade 6 packages at once	2015-06-23 22:20:35 +00:00
Makefile	x11-tools/gtkada3: Fix build when DOCS option is deselected	2015-06-27 05:45:12 +00:00
pkg-descr
pkg-plist	Ada Framework: Switch to gcc5-aux, upgrade 6 packages at once	2015-06-23 22:20:35 +00:00