1 files changed, 0 insertions, 17 deletions
diff --git a/CIAO/ciao/install_ciao_headers.mpc b/CIAO/ciao/install_ciao_headers.mpc
deleted file mode 100644
index c126324a5bb..00000000000
--- a/CIAO/ciao/install_ciao_headers.mpc
+++ /dev/null
@@ -1,17 +0,0 @@
-project : install {
-  custom_only = 1
-  Define_Custom(InstallHeader) {
-    inputext = .h, _T.cpp
-  }
-  InstallHeader_Files {
-    Version.h
-    // The following directories contain header-only code (*.h, *_T.cpp) and
-    // are not already installed by other .mpc files:
-    Contexts
-    Contexts/Session
-    Servants/Session
-  }
-  specific {
-    custom_inst_tags = installheader_files
-  }
-}