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>
This commit is contained in:
Joseph Nuthalapati 2019-10-12 15:23:53 +05:30 committed by James Valleroy
parent a036a4af5b
commit 853c056018
No known key found for this signature in database
GPG Key ID: 77C0C75E7B650808

View File

@ -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