diff options
author | Denis Bitouzé <dbitouze@wanadoo.fr> | 2021-02-25 18:23:07 +0000 |
---|---|---|
committer | Denis Bitouzé <dbitouze@wanadoo.fr> | 2021-02-25 18:23:07 +0000 |
commit | c6101f91d071883b48b1b4b51e5eba0f36d9a78d (patch) | |
tree | 1bf7f5a881d7a4f5c5bf59d0b2821943dd822372 /Build/source/texk/web2c/pooltype.ch | |
parent | 07ee7222e389b0777456b427a55c22d0e6ffd267 (diff) |
French translation for tlmgr updated
git-svn-id: svn://tug.org/texlive/trunk@57912 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/pooltype.ch')
-rw-r--r-- | Build/source/texk/web2c/pooltype.ch | 179 |
1 files changed, 0 insertions, 179 deletions
diff --git a/Build/source/texk/web2c/pooltype.ch b/Build/source/texk/web2c/pooltype.ch deleted file mode 100644 index cbff918acf7..00000000000 --- a/Build/source/texk/web2c/pooltype.ch +++ /dev/null @@ -1,179 +0,0 @@ -% pooltype.ch for C compilation with web2c. -% -% 03/23/88 (ETM) Created for use with WEB to C. -% 11/29/89 (KB) Version released with 8-bit TeX. -% (more recent changes in the ChangeLog) - -@x [0] WEAVE: print changes only -\pageno=\contentspagenumber \advance\pageno by 1 -@y -\pageno=\contentspagenumber \advance\pageno by 1 -\let\maybe=\iffalse -\def\title{POOL\lowercase{type} changes for C} -@z - -@x [1] Define my_name -copied from \TeX82. -@y -copied from \TeX82. - -@d my_name=='pooltype' -@z - -@x [2] main program changes: no global labels, read command line. -label 9999; {this labels the end of the program} -@y -@z -@x -procedure initialize; {this procedure gets things started properly} - var @<Local variables for initialization@>@; - begin @<Set initial values of key variables@>@/ -@y -@<Define |parse_arguments|@> -procedure initialize; {this procedure gets things started properly} - var @<Local variables for initialization@>@; - begin - kpse_set_program_name (argv[0], my_name); - parse_arguments; - @<Set initial values of key variables@> -@z - -% [??] The text_char type is used as an array index into xord. The -% default type `char' produces signed integers, which are bad array -% indices in C. -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -@x -@d text_char == char {the data type of characters in text files} -@y -@d text_char == ASCII_code {the data type of characters in text files} -@z - -@x [12] Permissiveness -for i:=0 to @'37 do xchr[i]:=' '; -for i:=@'177 to @'377 do xchr[i]:=' '; -@y -for i:=0 to @'37 do xchr[i]:=chr(i); -for i:=@'177 to @'377 do xchr[i]:=chr(i); -@z - -@x Write errors to stderr, avoid nonlocal label. -@d abort(#)==begin write_ln(#); goto 9999; - end -@y -@d abort(#)==begin write_ln(stderr, #); uexit(1); end -@z - -@x Remove unused label from end of program; add uexit(0) call -9999:end. -@y -uexit(0); -end. -@z - -@x Add pool_name variable. -@!pool_file:packed file of text_char; - {the string-pool file output by \.{TANGLE}} -@y -@!pool_file:packed file of text_char; - {the string-pool file output by \.{TANGLE}} -@!pool_name:const_c_string; -@z - -% The name of the pool file is dynamically determined. We open it at the -% end of parse_arguments. -@x -reset(pool_file); xsum:=false; -@y -xsum:=false; -@z - -@x Change single read into two reads -read(pool_file,m,n); {read two digits of string length} -@y -read(pool_file,m); read(pool_file,n); {read two digits of string length} -@z - -@x System-dependent changes. -This section should be replaced, if necessary, by changes to the program -that are necessary to make \.{POOLtype} work at a particular installation. -It is usually best to design your change file so that all changes to -previous sections preserve the section numbering; then everybody's version -will be consistent with the printed program. More extensive changes, -which introduce new sections, can be inserted here; then only the index -itself will get a new section number. -@^system dependencies@> -@y -Parse a Unix-style command line. - -@d argument_is (#) == (strcmp (long_options[option_index].name, #) = 0) - -@<Define |parse_arguments|@> = -procedure parse_arguments; -const n_options = 2; {Pascal won't count array lengths for us.} -var @!long_options: array[0..n_options] of getopt_struct; - @!getopt_return_val: integer; - @!option_index: c_int_type; - @!current_option: 0..n_options; -begin - @<Define the option table@>; - repeat - getopt_return_val := getopt_long_only (argc, argv, '', long_options, - address_of (option_index)); - if getopt_return_val = -1 then begin - do_nothing; - - end else if getopt_return_val = '?' then begin - usage (my_name); - - end else if argument_is ('help') then begin - usage_help (POOLTYPE_HELP, nil); - - end else if argument_is ('version') then begin - print_version_and_exit ('This is POOLtype, Version 3.0', nil, - 'D.E. Knuth', - nil); - - end; {Else it was just a flag; |getopt| has already done the assignment.} - until getopt_return_val = -1; - - {Now |optind| is the index of first non-option on the command line.} - if (optind + 1 <> argc) then begin - write_ln (stderr, my_name, ': Need exactly one file argument.'); - usage (my_name); - end; - - pool_name := extend_filename (cmdline (optind), 'pool'); - {Try opening the file here, to avoid printing the first 256 strings if - they give a bad filename.} - resetbin (pool_file, pool_name); -end; - -@ Here are the options we allow. The first is one of the standard GNU options. -@.-help@> - -@<Define the option...@> = -current_option := 0; -long_options[current_option].name := 'help'; -long_options[current_option].has_arg := 0; -long_options[current_option].flag := 0; -long_options[current_option].val := 0; -incr (current_option); - -@ Another of the standard options. -@.-version@> - -@<Define the option...@> = -long_options[current_option].name := 'version'; -long_options[current_option].has_arg := 0; -long_options[current_option].flag := 0; -long_options[current_option].val := 0; -incr (current_option); - -@ An element with all zeros always ends the list. - -@<Define the option...@> = -long_options[current_option].name := 0; -long_options[current_option].has_arg := 0; -long_options[current_option].flag := 0; -long_options[current_option].val := 0; -@z |