mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2025-12-06 23:53:18 +00:00
7 lines
109 B
Makefile
7 lines
109 B
Makefile
## $Id$
|
|
|
|
|
|
EXTRA_DIST = cpright.texi setup.texi timemac.texi timetbl.t treedef.tex \
|
|
wksheets.t timing.t
|
|
|