| Filename | Latest commit message | Latest commit date |
|---|---|---|
Replace ytools.mk by proj.mk for consistency reasons: $(TOPDIR)/make/proj.mk should be the project-wide but project-private makefile for projects. |
||
| .. | ||
| tex | ||
| Filename | Latest commit message | Latest commit date |
|---|---|---|
Replace ytools.mk by proj.mk for consistency reasons: $(TOPDIR)/make/proj.mk should be the project-wide but project-private makefile for projects. |
||
| .. | ||
| tex | Everywhere: Rename ytools.mk to proj.mk | |