Liverpool” post=82059Come per la guida tematica alla riga di comando, andrebbe dichiarato che il simbolo del dollaro sui sistemi DOS equivale al simbolo del maggiore, altrimenti un utente Windows, leggendo la guida, penserà di dover scrivere da riga di comando [tt]$ make[/tt].
Prendo nota, darò un’occhiata a questo rilievo 🙂 Grazie!
Liverpool” post=82059Faccio notare anche, perché ci ho sbattuto la testa personalmente, che non sempre la notazione per sistemi DOS equivale a quella per sistemi UNIX, come mostro in questa discussione, in particolare nell’intervento 81086, relativamente al punto e virgola.
Precisamente, ti riferisci a questo: http://www.guitex.org/home/it/forum/5-tex-e-latex/81063-risolto-compilazione-pgfmanual-mi-mancano-alcune-sezioni#81086 ?