*.hi *.o example dist docs gendocs.sh