diff --git a/src/include/Makefile.am b/src/include/Makefile.am
index fd916023f..a1dd98842 100644
--- a/src/include/Makefile.am
+++ b/src/include/Makefile.am
@@ -1,4 +1,5 @@
 ## Process this file with automake to produce Makefile.in
+## $Id$
 
 noinst_HEADERS = 	\
 	acdefs.h 	\
@@ -98,7 +99,6 @@ noinst_HEADERS = 	\
 	spmatrix.h 	\
 	suffix.h 	\
 	swec.h		\
-	terminal.h 	\
 	tfdefs.h 	\
 	trandefs.h 	\
 	trcvdefs.h 	\
diff --git a/src/include/terminal.h b/src/include/terminal.h
deleted file mode 100644
index 554c69fb5..000000000
--- a/src/include/terminal.h
+++ /dev/null
@@ -1 +0,0 @@
-#include "../misc/terminal.h"
diff --git a/src/misc/Makefile.am b/src/misc/Makefile.am
index 6d355cd45..d958c5e00 100644
--- a/src/misc/Makefile.am
+++ b/src/misc/Makefile.am
@@ -1,4 +1,5 @@
 ## Process this file with automake to produce Makefile.in
+## $Id$
 
 noinst_LIBRARIES = libmisc.a
 
@@ -21,8 +22,6 @@ libmisc_a_SOURCES = \
 		printnum.h	\
 		string.c	\
 		stringutil.h	\
-		terminal.c	\
-		terminal.h	\
 		tilde.c		\
 		tilde.h		\
 		misc_time.c	\
diff --git a/src/misc/terminal.c b/src/misc/terminal.c
deleted file mode 100644
index e69de29bb..000000000
diff --git a/src/misc/terminal.h b/src/misc/terminal.h
deleted file mode 100644
index e69de29bb..000000000