DataMuseum.dk

top - metrics - download

    Length: 1399 (0x577)
    Types: TextFile
    Names: »Makefile.3b«

└─⟦060c9c824⟧ Bits:30007080 DKUUG TeX 2/12/89
    └─⟦this⟧ »./DVIware/laser-setters/umd-dvi/Makefile.3b« 

TextFile

# Makefile for everything
#
# Eventually, it would be nice to have various targets depending on
# the output devices, and pass that info down to the dev/ directory.
# For now, this will do.
DESTDIR=
MAKE=	make
MFLAGS=

# where to find the font description file
CONFFILE=/usr/lib/tex/fonts
# where things get installed
BINDIR=	${DESTDIR}/usr/local/bin
# where manuals get installed---note that `/man1' is tacked on
# for section 1 manuals, etc
MANDIR=	${DESTDIR}/usr/man

# The subdirectories.  N.B.: "lib" must appear first!
SUBDIR=	lib dev dvi

OPTS=	MFLAGS="${MFLAGS}" BINDIR=${BINDIR} MANDIR=${MANDIR} \
	CONFFILE=${CONFFILE} DESTDIR=${DESTDIR} CC=${CC} ${MFLAGS}

all:
	for i in ${SUBDIR}; do (cd $$i; ${MAKE} ${OPTS}); done

install clean depend:
	for i in ${SUBDIR}; do (cd $$i; ${MAKE} ${OPTS} $@); done

# this one is special
conf:
	cd dev; ${MAKE} conf

# make the distribution directory -- assumes no RCS files in top level
# `doc' is not yet ready
dist:
	rm -rf ../ctex_dist
	-mkdir ../ctex_dist
	-set -x +e; \
	 for i in *; do \
		if [ $$i != ctex ]; then \
			if [ -d $$i ]; then \
				cp -r $$i ../ctex_dist; \
				(cd ../ctex_dist/$$i; rm -rf RCS); \
			else \
				cp $$i ../ctex_dist; \
			fi; \
		fi; \
	 done
	-cd ../ctex_dist; \
	 echo '/CONFFILE=/s,local/,,!/MANDIR=	/s,local/,,!w!q' | \
	 tr ! '\012' | ed Makefile
	-cd ../ctex_dist; make clean
	-cd ../ctex_dist/dev; make dist