[Bug-mailfromd] problems with webdoc.init with new texinfo

[Roland Rosenfeld <roland@xxxxxxxxxxxx>]

Hi!

It seems, that texinfo renamed the command set_from_init_file to
texinfo_set_from_init_file in newer versions.
At least in Debian building the documentation failed after upgrading
texinfo to version 7.1 (according to the changelogs the rename of the
command was earlier, but it fails on Debian systems just now).

Renaming set_from_init_file to texinfo_set_from_init_file in
doc/webdoc.init (and maybe also in doc/otherdoc.init) should work
around this issue.

The attached patch solves this for Debian.

Greetings
Roland

From: Roland Rosenfeld <roland@xxxxxxxxxx>
Date: Mon, 30 Oct 2023 17:04:54 +0100
Subject: Workaround for texinfo 7.1, which renamed set_form_init_file to
 texinfo_set_from_init_file

--- a/doc/webdoc.init
+++ b/doc/webdoc.init
@@ -1,6 +1,6 @@
 use strict;
 use warnings;
-set_from_init_file('EXTRA_HEAD', qq{
+texinfo_set_from_init_file('EXTRA_HEAD', qq{
 <link rel="stylesheet" type="text/css" href="/css/info.css"/>
 <link rel="stylesheet" type="text/css" href="/css/project.css"/>
 <script src="/js/modernizr.js" type="text/javascript"></script>