src/Pure/Admin/build_easychair.scala

 /*  Title:      Pure/Admin/build_easychair.scala
     Author:     Makarius
 
-Build Isabelle component for Easychair style.
+Build Isabelle component for Easychair LaTeX style.
 
 See also https://easychair.org/publications/for_authors
 */
 
 package isabelle

 
 
   /* Isabelle tool wrapper */
 
   val isabelle_tool =
-    Isabelle_Tool("build_easychair", "build component for Easychair style",
+    Isabelle_Tool("build_easychair", "build component for Easychair LaTeX style",
       Scala_Project.here,
       { args =>
         var target_dir = Path.current
         var download_url = default_url
 

 
   Options are:
     -D DIR       target directory (default ".")
     -U URL       download URL (default: """" + default_url + """")
 
-  Build component for Easychair style.
+  Build component for Easychair LaTeX style.
 """,
           "D:" -> (arg => target_dir = Path.explode(arg)),
           "U:" -> (arg => download_url = arg))
 
         val more_args = getopts(args)