Matthias Schiffer 705595574d Remove things not needed anymore with the new site config 10 роки тому
..
Makefile.image bd8d51d6d7 Merge builder Makefile into main Makefile 11 роки тому
Makefile.target 8644bfbc18 More multi-target support (still not finished...) 10 роки тому
config 3b8ad88ce4 Some work towards multi-target support 10 роки тому
gluon.mk 705595574d Remove things not needed anymore with the new site config 10 роки тому
toplevel.mk 67d7c989dc Fix a few error messages and other strangeness on `make update` in a clean tree 10 роки тому
verbose.mk 67d7c989dc Fix a few error messages and other strangeness on `make update` in a clean tree 10 роки тому