From 754998e2b67a4b798252fc60f3f6bbcabfe53dd2 Mon Sep 17 00:00:00 2001 From: Marc Durdin Date: Fri, 11 May 2018 10:47:24 +0700 Subject: [PATCH] Fixes #758. Report output filename in success message --- windows/src/developer/TIKE/project/kpsProjectFile.pas | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/windows/src/developer/TIKE/project/kpsProjectFile.pas b/windows/src/developer/TIKE/project/kpsProjectFile.pas index 55ae0c26bf..e6b48b4aa4 100644 --- a/windows/src/developer/TIKE/project/kpsProjectFile.pas +++ b/windows/src/developer/TIKE/project/kpsProjectFile.pas @@ -119,7 +119,7 @@ begin Result := False; if Result then - Log(plsInfo, '''' + FileName + ''' compiled successfully.') + Log(plsInfo, '''' + FileName + ''' compiled successfully to '''+TargetFileName+'''.') else begin if FileExists(TargetFilename) then