sample5-remove-bad-tie
makefile-add-destdir
makefile-install-ignore-docs
non-resettable-pagenumber
