mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-08-22 16:25:19 +08:00
Added error check to insure we don't write over a .texi file given to us as input.
Added error check to insure we don't write over a .texi file given to us as input.