Fix generation of help-pages-list file
[pspp] / src / ui / gui / include /
drwxr-xr-x   ..
drwxr-xr-x - gtk