[tex-live] `weave patgen.web patgen.ch' fails

[Werner LEMBERG]

It seems that the following patch should be applied:


--- patgen.ch.old       2010-03-30 17:36:12.000000000 +0200
+++ patgen.ch   2012-05-12 06:44:29.000000000 +0200
@@ -24,7 +24,7 @@
 @d get_input(#)==#:=input_int(std_input)
 @d get_input_ln(#)==begin #:=getc(std_input); read_ln(std_input); end
 @#
- at d std_input==stdin at z
+ at d std_input==stdin
 @z

 @x Eliminate the |end_of_PATGEN| label.



     Werner