GuITeX/guidetematiche — pull request #3 by orlyfurious (2013-03-01 20:32:51+00:00)
Title: Richiesta di merge #3

In questo merge ho cambiato sostanzialmente il *Makefile.bat*, ora più in linea con il *Makefile* di make. In realtà quello di prima eseguiva tutte le operazioni ogni volta. Ho poi migliorato leggermente il README.md. Lo propongo direttamente ora prima che venga cambiato il nome al repository.

Penso sia inutile con questi cambiamenti contattare Claudio Beccari, in caso contrario fatemelo sapere.

Infine, credo che per un po' non apporterò cambiamenti. Ho visto sommariamente i file *.dtx* e *.tex*: qualche refuso c'è; per ora lascio stare.

A presto,
Orlando