|
| From: | lemzwerg |
| Subject: | Re: Do not build PDFs from the website Texinfo sources (issue 363930043 by address@hidden) |
| Date: | Sun, 24 Feb 2019 12:17:24 -0800 |
What about "TEXINFO_MANUALS_WITHOUT_WEB"?
IMHO this is much better. https://codereview.appspot.com/363930043/
| [Prev in Thread] | Current Thread | [Next in Thread] |