There can be instances where a page comes with a different license.
Adding our full standard footer with its default license would cause
inconsistency and conflict, so skip that when a new variable LICENSE
is defined.
Pushed.
Gerald (who is amazed he could remember a language he only used a tiny
little bit some 27 years later)
---
htdocs/style.mhtml | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/htdocs/style.mhtml b/htdocs/style.mhtml
index 11f04f8d9..a7302a519 100644
--- a/htdocs/style.mhtml
+++ b/htdocs/style.mhtml
@@ -164,10 +164,14 @@ All of <a href="https://gcc.gnu.org/lists.html";>our
lists</a>
have public archives.
</address>
+<if <not <var-exists LICENSE> >
+ <group
<p>Copyright (C)
<a href="https://www.fsf.org";>Free Software Foundation, Inc.</a>
Verbatim copying and distribution of this entire article is
permitted in any medium, provided this notice is preserved.</p>
+ >
+>
<p>These pages are
<a href="https://gcc.gnu.org/about.html";>maintained by the GCC team</a>.
--
2.55.0
