SOURCES_DIR=$PWD/linux-headers-4.8.13
INSTALL_DIR=$PWD/linux-headers-4.8.13-install
BUILD_DIR=$PWD/linux-headers-4.8.13-build

mkdir $INSTALL_DIR $BUILD_DIR
cd $BUILD_DIR

#
# To install the kernel headers, run the following commands:
#
#  cd /usr/src/linux
#  make mrproper
#  make INSTALL_HDR_PATH=$BUILD_DIR headers_install
#  find $BUILD_DIR/ \( -name .install -o -name ..install.cmd \) -delete
#  cp -rv $BUILD_DIR/include/* $INSTALL_DIR/usr/include
#

kernel_src=/usr/src/linux

if [ ! -d "$kernel_src" ]
then
  print "Please install the kernel sources in $kernel_src first"
  return 1
fi

cd "$kernel_src"
make mrproper
make INSTALL_HDR_PATH=$BUILD_DIR headers_install
find $BUILD_DIR/ \( -name .install -o -name ..install.cmd \) -delete
mkdir -pv $INSTALL_DIR/usr/include
cp -rv $BUILD_DIR/include/* $INSTALL_DIR/usr/include