Subject: Clarification.

From: Mostafa <[email-masked]>
Date: Fri, 29 Mar 2013 14:40:25 -0700 (PDT)

To clarify, what is meant by absolute path in EXTRA_DIST is any path that starts with "$(abs_top_srcdir)" or "$(abs_srcdir)".