K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2013-10-16T16:46:25.388294Z
K 7
svn:log
V 95
Allow 'make xdev' to work when DESTDIR is set.

Submitted by:	Patrick Kelsey <kelsey@ieee.org>

END