Build static texinfo using std build process + def file