[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: --section=SECTION?
|
From: |
Alper Ersoy |
|
Subject: |
Re: --section=SECTION? |
|
Date: |
Sun, 23 Nov 2003 11:10:58 +0200 |
|
User-agent: |
Mutt/1.4.1i |
Hi Simon,
Simon Josefsson:
> $ makeinfo --section Acknowledgements --no-headers foo.texi > THANKS
You can do this with info:
$ info texinfo history >HISTORY
Though you will get the header (Next: etc.)
$ info texinfo history | sed '1,2 d' >HISTORY
Should do it :)
Hope this helps.
--
Alper Ersoy