treelang does not have a man page. The man page should reference the gcc(1) man page for options common to the gcc driver and list treelang specific options Matthias
Confirmed.
Treelang has been removed.