Miki: Makefile Wiki https://github.com/a3n/miki A personal wiki and resource cat...

		a3n on July 24, 2017 \| parent \| context \| favorite \| on: Ask HN: In what creative ways are you using Makefi... Miki: Makefile Wiki https://github.com/a3n/miki A personal wiki and resource catalog. The only thing delivered is the makefile, which uses existing tools, and a small convenience script to run it.