improve feedback from documentation generation workflow

see also: https://docs.github.com/en/actions/writing-workflows/choosing-what-your-workflow-does/workflow-commands-for-github-actions#setting-a-warning-message

Signed-off-by: Jyrki Gadinger <[email protected]>

.github/workflows/documentation.yml

@@ -16,6 +16,12 @@ jobs:
           cd doc
           make html > build.log 2>&1
           if grep WARNING build.log; then
+              grep WARNING build.log | awk '{
+                      split($0, fields, ":");
+                      sub("/__w/desktop/desktop/", "", fields[1]);
+                      print "::warning file=" fields[1] ( length(fields[2]) ? ",line=" fields[2] : "" ) ",title=Documentation generation::" substr($0, index($0, fields[4]) + 1)
+                  }'
+
               exit 1
           else
               exit 0