Match Gnulib INSTALL for quoting

The manual was already using curved single quotes, so we
might as well use curved double quotes and en and em dashes too.
* doc/local.mk (AM_MAKEINFOFLAGS): Add ASCII_DASHES_AND_QUOTES=0,
CHECK_NORMAL_MENU_STRUCTURE=1.
* Makefile.am ($(srcdir)/INSTALL): Also use AM_MAKEINFOFLAGS.
This matches Gnulib INSTALL’s quoting practice.

diff --git a/Makefile.am b/Makefile.am
index 14a810690058d8bd789c0e90402a978ea40acc86..f6f0f583fd4feef861c69b3dec57c3c350617abf 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -74,7 +74,8 @@ OMIT_TRAILING_EMPTY_LINES = '/^$$/H; /^$$/d; x; s/\n//p; s/\n*//; x'
 $(srcdir)/INSTALL: $(top_srcdir)/doc/install.texi
        echo @firstparagraphindent insert                               \
          | cat - $(top_srcdir)/doc/install.texi > tmp.texi
-       $(MAKEINFO) $(custom_MAKEINFOFLAGS) $(MAKEINFOFLAGS)            \
+       $(MAKEINFO) $(custom_MAKEINFOFLAGS)                             \
+            $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS)                       \
             --plaintext tmp.texi                                       \
          | sed -e $(OMIT_TRAILING_EMPTY_LINES)                         \
             > $@-t && mv $@-t $@

diff --git a/doc/local.mk b/doc/local.mk
index 4be44c772139a32296f33c4948be0aa9dcda8320..0c3d5a60161ca01add545b48f93c3a596522f091 100644 (file)
--- a/doc/local.mk
+++ b/doc/local.mk
@@ -16,7 +16,11 @@
 # You should have received a copy of the GNU General Public License
 # along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
-AM_MAKEINFOFLAGS = --no-split
+# ASCII_DASHES_AND_QUOTES=0 is needed for makeinfo versions ≥ 7.1.
+# CHECK_NORMAL_MENU_STRUCTURE=1 is needed for makeinfo versions ≥ 6.8.
+AM_MAKEINFOFLAGS = --no-split \
+ -c ASCII_DASHES_AND_QUOTES=0 \
+ -c CHECK_NORMAL_MENU_STRUCTURE=1
 TEXI2HTML_FLAGS = -split_chapter
 TEXINFO_TEX = build-aux/texinfo.tex