README

   1 # Makefile does things with dot/*
   2 # look at "make install", "make import"
   3
   4 # infra/substitute does things with templates/*.in
   5 * look at
   6 #   infra/substitute diff
   7 # do maybe
   8 #   infra/substitute install SOME-FILES