K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2015-06-27T05:45:12.346740Z
K 7
svn:log
V 336
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

END