nobase_pkginclude_HEADERS  = *.h
nobase_pkginclude_HEADERS += ia32/sys/*.h
nobase_pkginclude_HEADERS += rpc/*.h
nobase_pkginclude_HEADERS += sys/*.h
nobase_pkginclude_HEADERS += sys/dktp/*.h
nobase_pkginclude_HEADERS += sys/sysevent/*.h
nobase_pkginclude_HEADERS += util/*.h