#!/usr/bin/csh
setenv JNAMES /home/circle/gcc/share/jnames/jnames-FULL
mnews