File

util.format: Optimize most common integer format A search for log formats in use points to %s being the most common, followed by %d, so worth having a fast path for that. %g works well with most numbers and is what Lua 5.1 and 5.2 used

all: prosodyctl.man

%.man: %.markdown
	pandoc -s -t man -o $@ $^