- .. and don't install the config dir, too

diff --git a/extra/scripts/install_headers.sh b/extra/scripts/install_headers.sh
index 49b4e1b..d38d853 100755 (executable)
--- a/extra/scripts/install_headers.sh
+++ b/extra/scripts/install_headers.sh
@@ -33,7 +33,8 @@ fi
 (
 # We must cd, or else we'll prepend "$1" to filenames!
 cd "$1" || exit 1
-find ! -name '.' -a ! -path '*/.*' | sed -e 's/^\.\///' -e '/^config\//d'
+find ! -name '.' -a ! -path '*/.*' | sed -e 's/^\.\///' -e '/^config\//d' \
+       -e '/^config$/d'
 ) | \
 (
 IFS=''