Hi, Recently devel/gtexinfo had USE_TOOLS+= bash added. Unfortunately bash has USE_TOOLS+= makeinfo and on platforms that don't have makeinfo it gets replaced with devel/gtextinfo by mk/tools/replace.mk. Thoughts? -seanb