add a <meta> description tag in the <head> section of the main page
authorBenno Schulenberg <bensberg@telfort.nl>
Wed, 5 May 2021 10:38:55 +0000 (12:38 +0200)
committerBenno Schulenberg <bensberg@telfort.nl>
Wed, 5 May 2021 10:38:55 +0000 (12:38 +0200)
commit430423185fe6974e3fd59fdf45b726f351ab2696
tree510e22ded6353f39da496285953e8921d9618c5f
parent5704db4e8bd94a75743976e1513c85c2387e87c2
add a <meta> description tag in the <head> section of the main page

Otherwise search engines will show the garbage of the ASCII art.

Thanks to Peter Liscovius for suggesting how to do this in PHP.

This fixes https://savannah.gnu.org/bugs/?60511.
index.php
top.php