Skip to content

Commit

Permalink
thanks.gen: don't add an extra · at the end
Browse files Browse the repository at this point in the history
#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.
  • Loading branch information
emanuele6 authored and bagder committed Aug 16, 2024
1 parent 17eca87 commit 35617c0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -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/ /\&nbsp;/g' -e 's/-/\&\#8209/g' | awk '{print $$0 "&nbsp;&middot; "; }' > $@
grep '^[^ ]' $< | sort | sed -e 's/ /\&nbsp;/g' -e 's/-/\&\#8209/g' -e '$$!s/$$/\&nbsp;\&middot;/' > $@

faq.html: _faq.shtml $(MAINPARTS) faq.gen
$(ACTION)
Expand Down

0 comments on commit 35617c0

Please sign in to comment.