Merge branch 'main' of git.phc.dm.unipi.it:phc/dm-scripts

This commit is contained in:
2025-03-09 16:02:16 +01:00
6 changed files with 124 additions and 9 deletions
+3 -3
View File
@@ -40,11 +40,11 @@ Opzioni disponibili:
Ad esempio:
$(basename "$0") ~/GAAL.pdf
$(basename "$0") -u n.cognome ~/GAAL.pdf
$(basename "$0") alg2.pdf commRingTheory.pdf
$(basename "$0") -u n.cognome alg2.pdf commRingTheory.pdf
$(basename "$0") --cli '-o sides=two-sided-short-edge' MR-impaginato.pdf
$(basename "$0") -u n.cognome --cli '-o sides=two-sided-short-edge' MR-impaginato.pdf
N.B.: L'opzione --cli usa le opzioni necessarie per poter stampare un file
creato con lo script "impagina", per rilegare le dispense a libretto in A5.