Remove "-c INLINE_CONTENTS=0" from makeinfo options
commitf998c149417234970db28f04ca439836b359953d
authorRaymond Toy <toy.raymond@gmail.com>
Tue, 9 Aug 2022 00:46:49 +0000 (8 17:46 -0700)
committerRaymond Toy <toy.raymond@gmail.com>
Tue, 9 Aug 2022 00:46:49 +0000 (8 17:46 -0700)
tree71789e1c5c4f0b8a6bbc2b5f7fe68997589276bf
parent6476b789c1eb1461c456ba33aba63948ab2eba01
Remove "-c INLINE_CONTENTS=0" from makeinfo options

Makeinfo version 6.8 doesn't support this anymore and produces the
warning:

makeinfo: warning: set_from_cmdline: unknown variable INLINE_CONTENTS

This happens when running build_html.sh.
doc/info/build_html.sh.in