mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-08-22 20:28:27 +08:00
8 lines
200 B
Makefile
8 lines
200 B
Makefile
## $Id$
|
|
|
|
AUTOMAKE_OPTIONS = foreign 1.5
|
|
|
|
EXTRA_DIST = gnu_footer.html mk_install_dir Tool_Doc_Instructions \
|
|
gnu_header.html refcard.html gen_docs index.html rtems_tools_index.html \
|
|
gen_docs
|