diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-11-10 10:27:09 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-11-10 10:27:09 +0000 |
commit | 5e8e9500102800e68c9e7fcac9e85c1668b71a36 (patch) | |
tree | 81d79ac70ffbb127e8063f18c8f55475ca169ee1 /Build/source/texk/web2c/patgen.ch | |
parent | e6a9c88ada2f11dd61e4c4e39dff84944bed5787 (diff) |
towards TL2010: texk/web2c
git-svn-id: svn://tug.org/texlive/trunk@15964 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/patgen.ch')
-rw-r--r-- | Build/source/texk/web2c/patgen.ch | 25 |
1 files changed, 17 insertions, 8 deletions
diff --git a/Build/source/texk/web2c/patgen.ch b/Build/source/texk/web2c/patgen.ch index dd73383f642..78be9792ff2 100644 --- a/Build/source/texk/web2c/patgen.ch +++ b/Build/source/texk/web2c/patgen.ch @@ -13,7 +13,7 @@ \def\title{PATGEN changes for C} @z -@x Terminal I/O +@x Terminal I/O, Need standard input. @d get_input(#)==read(input,#) @d get_input_ln(#)== begin if eoln(input) then read_ln(input); @@ -22,14 +22,18 @@ @# @y @d get_input(#)==#:=input_int(std_input) -@d get_input_ln(#)==begin #:=getc(std_input); read_ln(std_input); end @# +@d get_input_ln(#)==begin #:=getc(std_input); read_ln(std_input); end +@# +@d std_input==stdin@z @z -@x Need standard input. -@p @<Compiler directives@>@/ +@x Eliminate the |end_of_PATGEN| label. +@d end_of_PATGEN=9999 +@y +@z +@x +label end_of_PATGEN; @y -@d std_input==stdin -@p @<Compiler directives@>@/ @z @x Add file opening to initialization @@ -181,6 +185,11 @@ f_name := cmdline (3); rewrite (patout, f_name); @z +@x Eliminate the |end_of_PATGEN| label. +end_of_PATGEN: +@y +@z + @x System-dependent changes. This section should be replaced, if necessary, by changes to the program that are necessary to make \.{PATGEN} work at a particular installation. @@ -209,10 +218,10 @@ begin address_of (option_index)); if getopt_return_val = -1 then begin do_nothing; - + end else if getopt_return_val = '?' then begin usage ('patgen'); - + end else if argument_is ('help') then begin usage_help (PATGEN_HELP, nil); |