coq/coq — pull request #14 by JasonGross (2014-04-09 00:16:49+00:00)
Title: Update test-suite Makefile to handle coq-prog-args

If files in the test-suite have `(* -*- ... coq-prog-args: () ... -*- *)`, the test-suite will notice, and pass the arguments along to Coq, after stripping out `"-emacs"` and `"-emacs-U"`. The arguments, if any, are displayed in parentheses next to the file name.