Index to appendices when --number

[Akim Demaille]

I don't know whether the following difference bw sections and
appendices in the indices was meant:

/tmp % eof benoit.texi                                         nostromo Err 130
: -------------------- benoit.texi ----------------------
cat > benoit.texi << \EOF
\input texinfo   @c -*-texinfo-*-
@setfilename benoit
@settitle benoit

@ifnottex
@node Top
@top TITLE
@end ifnottex

@xref{Node}.  @xref{Appendix}.

@menu
* Node::
* Appendix::
@end menu

@node Node
@chapter Node

@cindex Node

@node Appendix
@appendix Appendix

@cindex Appendix

@printindex cp

@bye
EOF
: ------------------------------------------------------------
/tmp % makeinfo --number-sections benoit.texi --no-headers -o-   nostromo 11:30
TITLE
*****

   *Note Node::.  *Note Appendix::.

1 Node
******

Annexe A Appendix
*****************

Appendix:                                          
          See ``Annexe A Appendix''.
Node:                                               See 1.