doc/etikol.texi
changeset 39 28b0d751d29f
parent 28 e2e97c3aa219
child 70 851ca9a60e90
equal deleted inserted replaced
2:9154d3ac22cb 3:d9ae02d874e6
     1 \input texinfo   @c -*-texinfo-*-
     1 \input texinfo   @c -*-texinfo-*-
     2 @comment $Id: etikol.texi,v 1.3 2004/01/21 08:38:45 alpar Exp $
     2 @comment $Id: etikol.texi,v 1.4 2004/01/21 08:39:33 alpar Exp $
     3 @comment %**start of header
     3 @comment %**start of header
     4 @setfilename etikol.info
     4 @setfilename etikol.info
     5 @include version.texi
     5 @include version.texi
     6 @settitle GNU ETIK-OL Optimization Library @value{VERSION}
     6 @settitle GNU ETIK-OL Optimization Library @value{VERSION}
     7 @syncodeindex pg cp
     7 @syncodeindex pg cp
    74 
    74 
    75 @ifnottex
    75 @ifnottex
    76 @node Top
    76 @node Top
    77 @top GNU ETIK-OL Library
    77 @top GNU ETIK-OL Library
    78 
    78 
    79 @insertcopying
    79 @c @insertcopying
    80 @end ifnottex
    80 @end ifnottex
    81 
    81 
    82 @menu
    82 @menu
    83 * Basic Concepts::
    83 * Basic Concepts::
    84 * Copying This Manual::
    84 * Copying This Manual::