1 files changed, 0 insertions, 37 deletions
diff --git a/devel/ml-doc/files/lib-Makefile b/devel/ml-doc/files/lib-Makefile
deleted file mode 100644
index 4ed680f49433..000000000000
--- a/devel/ml-doc/files/lib-Makefile
+++ /dev/null
@@ -1,37 +0,0 @@
-# Makefile for installing ML-Doc shared data.
-#
-
-LIBDIR =	${DATADIR}/lib
-TEXDIR =	${DATADIR}/lib/LaTeX
-INSTALL_DATA=	${BSD_INSTALL_DATA}
-
-TARGETS=	HTMLsym.ent \
-		catalog \
-		dummy-filemap.sgml \
-		element-list \
-		entities.sgml \
-		iso-lat1.ent \
-		ml-doc-info.dtd \
-		ml-doc.decl \
-		ml-doc.dtd
-
-TEXTARGETS=	mldoc-book.cls \
-		mldoc-code.sty \
-		mldoc.sty \
-		proofMLDoc.sty
-
-install:
-	if [ ! -d $(LIBDIR) ]; then \
-	  mkdir -p $(LIBDIR); \
-	fi
-	for file in $(TARGETS); do \
-	  $(INSTALL_DATA) $$file $(LIBDIR)/$$file || exit $$?; \
-	done
-
-	if [ ! -d $(TEXDIR) ]; then \
-	  mkdir $(TEXDIR); \
-	fi
-	for file in $(TEXTARGETS); do \
-	  $(INSTALL_DATA) LaTeX/$$file $(TEXDIR)/$$file || exit $$?; \
-	done
-