Fix pdf overflow of grub listing output by changing the font size

in the appropriate block of the lfs-pdf.fo file.


git-svn-id: http://svn.linuxfromscratch.org/LFS/trunk/BOOK@9118 4aa44e1e-78dd-0310-a6d2-fbcd4c07a689

Makefile

@@ -51,6 +51,7 @@ pdf: validxml
 	  --output $(RENDERTMP)/lfs-pdf.fo stylesheets/lfs-pdf.xsl \
 	  $(RENDERTMP)/lfs-pdf.xml
 	$(Q)sed -i -e 's/span="inherit"/span="all"/' $(RENDERTMP)/lfs-pdf.fo
+	$(Q)bash pdf-fixups.sh $(RENDERTMP)/lfs-pdf.fo
 
 	@echo "Generating PDF file..."
 	$(Q)if [ ! -e $(BASEDIR) ]; then \

pdf-fixups.sh

@@ -0,0 +1,15 @@
+#!/bin/bash --verbose
+
+if [ $# -lt 1 ] ; then 
+  echo "This script needs the location of the fo file to update"
+  exit 1
+fi
+
+
+FILE=$1
+
+LINE=$( grep -n "DO NOT EDIT" $FILE | cut -f1 -d: )
+LINE=$(( LINE - 1 ))
+
+sed -i -e "$LINE s/monospace/&\" font-size=\"9pt/" $FILE
+