32961afd4f
ML-Doc is a system for documenting the interfaces of SML libraries. It can produce both HTML and LaTeX output. http://people.cs.uchicago.edu/~jhr/tools/ml-doc.html PR: ports/115932: Submitted by: Timothy Bourke <timbob@bigpond.com>
37 lines
703 B
Text
37 lines
703 B
Text
# 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
|
|
|