ed manual dircategory

[Karl Berry]

Hi Antonio,

Here's a small admin patch for the ed manual.

1) No need for @setchapternewpage odd to be hardwired.
2) Change the @dircategory and formatting to play nicely with others.

Ok?

Thanks,
karl

*** /usr/local/gnu/src/ed-0.3-pre2/doc/ORIG/ed.texinfo  Thu Oct  5 11:21:35 2006
--- /usr/local/gnu/src/ed-0.3-pre2/doc/ed.texinfo       Sun Oct  8 09:06:52 2006
***************
*** 4,8 ****
  @settitle GNU @command{ed} Manual
  @finalout
- @setchapternewpage odd
  @c %**end of header
  
--- 4,7 ----
***************
*** 10,19 ****
  @set VERSION 0.3
  
! @ifinfo
! @dircategory Editors
  @direntry
  * Ed: (ed).                    The GNU line editor.
  @end direntry
- @end ifinfo
  
  @copying
--- 9,16 ----
  @set VERSION 0.3
  
! @dircategory Basics
  @direntry
  * Ed: (ed).                     The GNU line editor.
  @end direntry
  
  @copying