diff --git a/scripts/doccomments2ghpages-vislcg.awk b/scripts/doccomments2ghpages-vislcg.awk
index 142dd882..99348b85 100644
--- a/scripts/doccomments2ghpages-vislcg.awk
+++ b/scripts/doccomments2ghpages-vislcg.awk
@@ -94,7 +94,7 @@ function docupath(s) {
return gensub("\\.\\./", "", "g", s);
}
END {
- printf("\n* * *\n\nThis (part of) documentation was generated from " \
+ printf("\n* * *\nThis (part of) documentation was generated from " \
"[%s](%s/%s)" \
- "\n", docupath(FILENAME), REPOURL, docupath(FILENAME));
+ "", docupath(FILENAME), REPOURL, docupath(FILENAME));
}
diff --git a/scripts/doccomments2ghpages.awk b/scripts/doccomments2ghpages.awk
index cff94019..a97d2aa9 100644
--- a/scripts/doccomments2ghpages.awk
+++ b/scripts/doccomments2ghpages.awk
@@ -122,5 +122,5 @@ function docupath(s) {
END {
printf("\n* * *\n\nThis (part of) documentation was generated from " \
"[%s](%s/%s)" \
- "\n", docupath(FILENAME), REPOURL, docupath(FILENAME));
+ "\n\n---\n\n", docupath(FILENAME), REPOURL, docupath(FILENAME));
}