webman.tex pour les détails.
TANGLE peut être appelé sans aucun argument sur la ligne de commande, avec un seul
argument, ou avec quatre arguments.
Si aucun argument n'est passé, TANGLE demandera les noms du fichier WEB,
du fichier des changements, du fichier Pascal, et du fichier pool. La table
ci-dessous montre les valeurs qui sont utilisées par défaut, si aucun nom n'est
fourni. Si la réponse au nom du fichier des changements, à celui du fichier
Pascal, ou à celui du fichier pool est un caractère espace, le périphérique nul est
utilisé.
Si un seul argument est passé sur la ligne de commande, ce nom sera utilisé pour les quatre fichiers, avec les extensions par défaut données dans la table ci-dessous.
Si quatre arguments sont passés, ils seront utilisés comme noms du fichier WEB, du
fichier des changements, du fichier Pascal, et du fichier pool (dans cet ordre),
avec les extensions par défaut données dans la table ci-dessous. Pour utiliser
le nom par défaut du fichier d'un autre répertoire, tapez seulement le nom
du répertoire, qui doit se terminer par un deux-points ou un "backslash"
\.
Entrez "nul" si aucun fichier de changements ne doit être utilisé.
| Argument | Extension par défaut | Nom du fichier par défaut |
| fichier WEB | .web | - |
| fichier des changements | .ch | fichier_Web.ch |
| fichier Pascal | .pas | fichier_Web.pas |
| fichier pool | .poo | fichier_Pascal.poo |
Exemple:
tangle \web\test .\pasdir\test1 pools\
Dans cet exemple, les fichiers suivants sont utilisés:
| fichier WEB: | \web\test.web |
| fichier des changements: | .\test.ch |
| fichier Pascal: | pasdir\test1.pas |
| fichier pool: | pools\test1.poo |
