docs/master
log makefile
age | author | description |
---|---|---|
Tue, 26 Jun 2012 22:06:20 +0200 | markus schnalke | New text on Standard Libraries plus spellchecking. |
Mon, 25 Jun 2012 14:19:41 +0200 | markus schnalke | makefile: Ignore errors of ps2pdf. (Embedding only a subset of the font.) |
Mon, 25 Jun 2012 10:07:33 +0200 | markus schnalke | makefile: Minor improvements. |