3 ms·
Miki: Makefile Wiki https://github.com/a3n/miki https://github.com/a3n/miki A personal wiki and resource catalog. The only thing delivered is the makefile, whi
by a3n 9y ago
Miki: Makefile Wiki https://github.com/a3n/miki 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.