Do not build PDFs from the website Texinfo sources

Do not build PDFs from the website Texinfo sources

These PDF documents were not linked from the website or the
documentation in HTML format, and they also had formatting issues,
e.g. bitmaps too large to fit in the page width.

[lemzwerg, 2019-02-21 23:19:53]

https://codereview.appspot.com/363930043/diff/1/Documentation/GNUmakefile
File Documentation/GNUmakefile (right):

https://codereview.appspot.com/363930043/diff/1/Documentation/GNUmakefile#new...
Documentation/GNUmakefile:54: TEXINFO_MANUALS_BUT_WEB = $(filter-out
web,$(TEXINFO_MANUALS))
LGTM except this variable name.  Could you invent a different one?

[John Mandereau, 2019-02-24 20:04:13]

Werner LEMBERG wrote:
> https://codereview.appspot.com/363930043/diff/1/Documentation/GNUmake
> file#newcode54
> Documentation/GNUmakefile:54: TEXINFO_MANUALS_BUT_WEB
> = $(filter-out
> web,$(TEXINFO_MANUALS))
> LGTM except this variable name.  Could you invent a different one?

What about "TEXINFO_MANUALS_WITHOUT_WEB"?

John

[lemzwerg, 2019-02-24 20:17:24]

> What about "TEXINFO_MANUALS_WITHOUT_WEB"?

IMHO this is much better.

[John Mandereau, 2019-02-24 22:09:05]

Le dimanche 24 février 2019 à 21:04 +0100, John Mandereau a écrit :
> Werner LEMBERG wrote:
> > https://codereview.appspot.com/363930043/diff/1/Documentation/GNUma
> > ke
> > file#newcode54
> > Documentation/GNUmakefile:54: TEXINFO_MANUALS_BUT_WEB
> > = $(filter-out
> > web,$(TEXINFO_MANUALS))
> > LGTM except this variable name.  Could you invent a different one?
> 
> What about "TEXINFO_MANUALS_WITHOUT_WEB"?

To make the contest a little bit more interesting, what about the
following ones?

NON_WEBSITE_TEXINFO_MANUALS
TEXINFO_MANUALS_WITHOUT_WEBSITE

Best,
John

[John Mandereau, 2019-02-28 21:41:08]

Use better variable names

[John Mandereau, 2019-03-01 07:34:58]

Le dim. 24 févr. 2019 à 23:09, John Mandereau <john.mandereau@gmail.com> a
écrit :

> > What about "TEXINFO_MANUALS_WITHOUT_WEB"?
>
> To make the contest a little bit more interesting, what about the
> following ones?
>
> NON_WEBSITE_TEXINFO_MANUALS
> TEXINFO_MANUALS_WITHOUT_WEBSITE
>

I uploaded a new patchset using NOT_WEBSITE_TEXINFO_MANUALS:
https://codereview.appspot.com/363930043/#ps20001