Re: Bug: headers missing when including file

[Heikki Johannes Junes]

>   -n,--new-pages={1,...} clear a new page for each (listed) section
>   -1,--reset-pages={1,...} reset a new page (number=1) for each (listed) 
> section
>   -/,--separate={1,...} separate .dvi file for each (listed) section

I found that '=' equal sign is a bit misleading. It is better to use
'@'-sign because both sides of the equal sign are not pages (or .dvi
files). 

The following is much more intuitive:

  -n,address@hidden,...} clear a new page for each (listed) section
  -1,address@hidden,...} reset a new page (number=1) for each (listed) section
  -/,address@hidden,...} separate .dvi file for each (listed) section

The correspoding abbreviations would be
  -n  and        -n{1,...}  or  -n {1,...}
  -1  and        -1{1,...}  or  -1 {1,...}
  -/  and        -/{1,...}  or  -/ {1,...}

--
      Heikki Junes