IABSD.fr/ports/lang/scheme-report/patches

Branch : - branch - master - tag -

• Show log

  Commit

• Author : naddy
  Date : 2022-03-11 19:28:46
  Hash : e93f9d0c
  Message : drop RCS Ids

• patch-r5rs_txi

• --- r5rs.txi.orig	Tue Jan 30 10:36:11 2001
  +++ r5rs.txi	Tue Jan 30 10:38:19 2001
  @@ -162,7 +162,7 @@ expand the summary so that it fills up t
   @end titlepage
   
   @c INFO first page
  -@ifinfo
  +@ifnottex
   
   @c  First page
   
  @@ -280,7 +280,7 @@ expand the summary so that it fills up t
   
   @page
   
  -@end ifinfo
  +@end ifnottex
   
      
   @c @include{intro}