# Upstream ships agedu.1 which is in fact generated by halibut
# Delete it before starting the build to have a clean source tree.
agedu.1
