tuned comments;

--- a/src/Pure/Tools/ghc.ML	Sun Dec 16 12:46:44 2018 +0100
+++ b/src/Pure/Tools/ghc.ML	Sun Dec 16 13:24:24 2018 +0100
@@ -45,7 +45,8 @@
 val print_string = quote o implode o map print_symbol o Symbol.explode;
 
 
-(* project setup *)
+
+(** project setup **)
 
 fun project_template {depends, modules} =
   \<^verbatim>\<open>{-# START_FILE {{name}}.cabal #-}