maint: fix gendocs.sh permissions
[gnulib.git] / lib / se-selinux.c
2012-11-30 Paul Eggertselinux-h: better 'inline'