19 Marzo 2013 alle 8:32
#83830
::
Ciao,
ho constatato con piacere che la discussione ha raccolto buone idee.
Quando avremo la nuova guida tematica a cui altri oltre all’Autore principale credo vorranno contribuire con il sistema dei merge, cercherò di scrivere uno script che automatizzi la compilazione delle guide tematiche scaricando i sorgenti da github.com/GuiTeX e caricando il risultato sul sito via ftp.
Questo dovrebbe risolvere il problema di distribuire le guide aggiornate all’ultima versione senza troppa fatica.
R.