Using NSFmaster.tex to produce the application