The noweb code is capturing the build directory name in scripts. in $AXIOM/bin/lib noweb, notangle, noweave, nountangle, nodefs, noroots, nuweb2noweb, noroff, pipedocs, unmarkup, and the whole man1 directory all have the name of the build directory.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル