Emit HTML <meta name="generator" ...>

This commit is contained in:
Lassi Kortela 2023-02-15 19:38:30 +02:00
parent e9b63e2f71
commit 10e6c0b7bd
1 changed files with 5 additions and 4 deletions

View File

@ -309,7 +309,7 @@
(if (not (string->number where))
(warn "invalid font position `~a' in .fp" where)
(mount-font (string->number where) name) "")))
(define previous-font 1)
(define current-font 1)
@ -560,9 +560,10 @@
(define (emit-HTML-prolog)
(let ((mailto (option 'mail-address)))
(emit "<html>\n<head>\n")
(emit "<!-- This file has been generated by "
(substitute "%progname% %version%, %date% %time%. -->\n")
"<!-- Do not edit! -->\n")
(emit "<meta name=\"generator\""
" content=\""
(substitute "%progname% %version%")
"\">\n")
(if mailto (emit "<link rev=\"made\" href=\"mailto:" mailto "\">\n"))))