From 853c0560183b6c11cc765d00dea220933beba661 Mon Sep 17 00:00:00 2001
From: Joseph Nuthalapati <njoseph@riseup.net>
Date: Sat, 12 Oct 2019 15:23:53 +0530
Subject: [PATCH] doc: Skip empty lines when piping to wget

Signed-off-by: Joseph Nuthalapati <njoseph@riseup.net>
Reviewed-by: Sunil Mohan Adapa <sunil@medhas.org>
Reviewed-by: James Valleroy <jvalleroy@mailbox.org>
---
 doc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/Makefile b/doc/Makefile
index 220ff38c3..6d64d02cf 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -51,7 +51,7 @@ fetch:
 	wget --quiet -O - $(MANUAL_URL) | \
 	  xmllint --format --output freedombox-manual.raw.xml -
 	xsltproc fetch-images.xslt freedombox-manual.raw.xml | sort -u | \
-	  awk '{print "wget --quiet -O images/" $$1 " " $$2}' | sh
+	  awk 'NF {print "wget --quiet -O images/" $$1 " " $$2}' | sh
 	./fetch-manual-pages
 
 .PHONY: manual-pages