[enblend/f19] (9 commits) ...try harder to use pregenerated docs

[Rex Dieter]

Summary of changes:

  1cb4748... avoid/fix pitfalls associated with texinfo-5.1 (#919935) (*)
  cf0a87a... unused patches (*)
  ba633a4... fix changelog (*)
  460b020... disable pdf docs for now (*)
  3a0bf0d... set MAKEINFO for main 'make' invocatin too (*)
  679f71a... skip fig2dev failures too (#921706) (*)
  ce393c2... add workaround to 'make install' too (*)
  1b6513d... try using pregenerated docs (*)
  e460b0b... try harder to use pregenerated docs (*)

(*) This commit already existed in another branch; no separate mail sent