From 35617c07550243c211233e5535b64d424815589c Mon Sep 17 00:00:00 2001 From: Emanuele Torre Date: Fri, 9 Aug 2024 14:11:10 +0200 Subject: [PATCH] thanks.gen: don't add an extra · at the end curl/curl-www#187 version 2 :D Now  · is only added to the end of lines before the last one instead of to the end of all lines. --- docs/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/Makefile b/docs/Makefile index b097ff080a..9560b54deb 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -341,7 +341,7 @@ thanksnum.gen: $(DOCROOT)/THANKS egrep '^[^ $$]' $< | wc -l | awk '{print "#define __THANKSNUM__ " $$1}' > $@ thanks.gen: $(DOCROOT)/THANKS - grep '^[^ ]' $< | sort | sed -e 's/ /\ /g' -e 's/-/\&\#8209/g' | awk '{print $$0 " · "; }' > $@ + grep '^[^ ]' $< | sort | sed -e 's/ /\ /g' -e 's/-/\&\#8209/g' -e '$$!s/$$/\ \·/' > $@ faq.html: _faq.shtml $(MAINPARTS) faq.gen $(ACTION)