diff --git a/INSTALL b/INSTALL deleted file mode 100644 index 5049817bc9..0000000000 --- a/INSTALL +++ /dev/null @@ -1,4 +0,0 @@ -Building RTEMS -============== -See the documentation referred to in the README. -