[fls-agda] change log message

Author: carlostome

build-tools/agda/src/Main.hs

@@ -277,7 +277,7 @@ renderSourceFile opts = renderSourcePage
 
 defaultPageGen :: (MonadIO m, MonadLogHtml m) => FlsOpts -> FlsInputSourceFile -> m ()
 defaultPageGen opts srcFile@(FlsInputSourceFile moduleName ft _ _) = do
-  logHtml $ render $ "Generating HTML for" <+> pretty moduleName <+> (parens (pretty target) <> ".")
+  logHtml $ render $ "Generating" <+> pretty moduleName <+> "from" <+> (pretty target <> ".")
   writeRenderedHtml html target
  where
   ext = highlightedFileExt ft