@c These macros are used because these items could go both in the
@c short listing (for partial books) and in the detailed listing
@c (for full books - i.e. using & porting)

@macro usingmenu{}
@ifset USING
* Installation::            Configuring and installing GNU lightning
* The instruction set::     The RISC instruction set used i GNU lightning
* GNU lightning macros::    GNU lightning's macros
* Reentrancy::              Re-entrant usage of GNU lightning
* Bundling GNU lightning::  Using GNU lightning in your programs
@end ifset
@end macro

@macro portingmenu{}
@ifset PORTING
* Structure of a port::   An overview of the porting process
* Adjusting configure::   Automatically recognizing the new platform
* Run-time assemblers::   An internal layer to simplify porting
* Standard macros::       The platform-independent layer used by clients.
* Standard functions::    Doing more complex tasks.
* Floating-point macros:: Implementing macros for floating point.
@end ifset
@end macro

@macro standardmacrosmenu{}
@c This comment is needed because of makeinfo's vagaries...
* Forward references::    Implementing forward references
* Common features::       Common features supported by @file{core-common.h}
* Delay slots::           Supporting scheduling of delay slots
* Immediate values::      Supporting arbitrarily sized immediate values
* Implementing the ABI::  Function prologs and epilogs, and argument passing
* Macro list::            Macros composing the platform-independent layer
@end macro

@menu
@ifclear BOTH
* Overview::              What GNU lightning is
@usingmenu{}
@portingmenu{}
* Future::                Tasks for GNU lightning's subsequent releases
* Acknowledgements::      Acknowledgements for GNU lightning

@ifset PORTING
@detailmenu
--- The detailed node listing ---

Standard macros:
@standardmacrosmenu{}
@end detailmenu
@end ifset
@end ifclear

@ifset BOTH
* Overview::              What GNU lightning is.
* Using GNU lightning::   Using GNU lightning in your programs
* Porting GNU lightning:: Retargeting GNU lightning to a new system
* Future::                Tasks for GNU lightning's subsequent releases
* Acknowledgements::      Acknowledgements for GNU lightning

@detailmenu
--- The detailed node listing ---

Using @lightning{}:
@usingmenu{}

Porting @lightning{}:
@portingmenu{}

Standard macros:
@standardmacrosmenu{}
@end detailmenu

@end ifset

@end menu