thanks.gen: don't add an extra · at the end

#187 version 2 :D This is achieved by generating thanks.gen as user1 · user2 · user3 Instead of as user1 · user2 · user3 ·   would add an unwanted extra (non-breaking) space, so I just removed it.
curl · Aug 9, 2024 · 85e9b96 · 85e9b96
1 parent 2a446e9
commit 85e9b96
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/Makefile b/docs/Makefile
@@ -343,7 +343,7 @@ thanksnum.gen: $(DOCROOT)/THANKS
 	egrep '^[^ $$]' $< | wc -l  | awk '{print "#define __THANKSNUM__ " $$1}' > $@
 
 thanks.gen: $(DOCROOT)/THANKS
-	grep '^[^ ]' $< | sort | sed -e 's/ /\&nbsp;/g' -e 's/-/\&\#8209/g' | awk '{print $$0 "&nbsp;&middot; "; }' > $@
+	grep '^[^ ]' $< | sort | sed -e 's/ /\&nbsp;/g' -e 's/-/\&\#8209/g' | awk 'NR > 1 {print "&middot;"} 1' > $@
 
 faq.html: _faq.shtml $(MAINPARTS) faq.gen
 	$(ACTION)