# Makefile does things with dot/*
# look at "make install", "make import"

# infra/substitute does things with templates/*.in
* look at
#   infra/substitute diff
# do maybe
#   infra/substitute install SOME-FILES