From a58b271cad7e72bc5f2c0e8f7e98fadc27759089 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 28 Oct 2020 23:01:12 -0700
Subject: [PATCH] doc: Use --css-ref option to makeinfo, instead of
 postprocessing with sed.

This option was introduced with makeinfo 4.11, released in 2007, so it
should be widely available.
---
 doc/automake.mk | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/doc/automake.mk b/doc/automake.mk
index c94608e98a..bf09d6a3eb 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -202,15 +202,7 @@ $(EXAMPLE_TXTS) $(EXAMPLE_HTML): $(pspp_output)
 	$(AM_V_GEN)sed 's/@/@@/g' < $< > $@.tmp
 	$(AM_V_at)mv $@.tmp $@
 
-# Insert the link tag for the cascading style sheet.
-# But make sure these operations are idempotent.
-html-local:
-	for h in doc/pspp.html/*.html; do \
-		if grep -Fq '<link rel="stylesheet"' $$h; then continue; fi ; \
-		$(SED) -i -e '/^<\/head>/i \\\
-<link rel="stylesheet" href="pspp-manual.css">' $$h; \
-	done
-
+AM_MAKEINFOHTMLFLAGS = $(AM_MAKEINFOFLAGS) --css-ref=pspp-manual.css
 install-html-local: html-local
 	$(MKDIR_P) $(DESTDIR)$(prefix)/share/doc/pspp/pspp.html
 	$(INSTALL_DATA) ${top_srcdir}/doc/pspp-manual.css $(DESTDIR)$(prefix)/share/doc/pspp/pspp.html
-- 
2.30.2