[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

non web_version of web.texi ?

From: Han-Wen Nienhuys
Subject: non web_version of web.texi ?
Date: Sun, 5 Jul 2020 22:38:50 +0200

Hi there,

is there any other function of web.texi besides producing the website? I would like to get rid of the "-D web_version"
distinction, that is making web_version always be true for the web
document. Is there any reason to not do this?

Han-Wen Nienhuys - -

reply via email to

[Prev in Thread] Current Thread [Next in Thread]