mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2025-12-26 14:18:20 +00:00
Adds a -I <path> option to texi2www. This option is supposed to compatible to the option of the same name in makeinfo, texi2dvi etc. [This patch actually is kind of a hack, but it works :]