1 ##############################################################################
2 # Instructions to Make, for generation of MH documentation sets
4 # This file is automatically generated. Do not edit!
5 # @(#)$Id: dist,v 2.7 1992/12/02 22:21:43 jromine Exp $
6 ##############################################################################
8 MAKE = make DESTDIR=$(DESTDIR) $(MFLAGS) -k
12 ##############################################################################
14 ##############################################################################
16 .SUFFIXES: .cat .dvi .imp
18 .cat.imp:; catimp -i $@ $<
20 .dvi.imp:; dviimp -i $@ $<
23 ######################################################################
25 ######################################################################
27 TARGETS = ../READ-ME \
28 mh-gen.cat MH.cat ADMIN.cat mh-changes.cat \
29 bboards.dvi beginners.dvi mh4mm.dvi mh6.dvi multifarious.dvi \
30 mznet.dvi realwork.dvi trusted.dvi tutorial.dvi
32 all:; @cd ../config; make version
33 @for f in $(TARGETS); do $(MAKE) $$f; done
36 doc: MH.doc ADMIN.doc mh-changes.doc
39 IMPRESS = mh-gen.imp MH.imp ADMIN.imp mh-changes.imp \
40 bboards.imp beginners.imp \
41 mh4mm.imp mh6.imp multifarious.imp mznet.imp realwork.imp \
42 trusted.imp tutorial.imp
44 imp:; @for f in $(IMPRESS); do $(MAKE) $$f; done
48 lpr -t -J MH-gen mh-gen.cat
50 lpr -t -J ADMIN ADMIN.cat
51 lpr -t -J MH-CHANGES mh-changes.cat
52 lpr -d -J BBoards bboards.dvi
53 lpr -d -J Beginners beginners.dvi
54 lpr -d -J MH-4-MM mh4mm.dvi
55 lpr -d -J mh6.5 mh6.dvi
56 lpr -d -J Multifarious multifarious.dvi
57 lpr -d -J MZnet mznet.dvi
58 lpr -d -J Realwork realwork.dvi
59 lpr -d -J Trusted trusted.dvi
60 lpr -d -J Tutorial tutorial.dvi
66 #############################################################
68 #############################################################
72 ADMIN.imp MH.imp: true
76 ../READ-ME: ../conf/mh-gen.8
77 nroff -man ../conf/mh-gen.8 > read-me.tmp
80 mh-gen.cat: ../conf/mh-gen.8
81 itroff -t -man ../conf/mh-gen.8 > mh-gen.tmp
87 cd ../papers/changes; make $@
88 cp ../papers/changes/$@ $@
92 cd ../papers/bboards; make $@
93 cp ../papers/bboards/$@ $@
97 cd ../papers/beginners; make $@
98 cp ../papers/beginners/$@ $@
102 cd ../papers/mh4mm; make $@
103 cp ../papers/mh4mm/$@ $@
107 cd ../papers/mh6.5; make $@
108 cp ../papers/mh6.5/$@ $@
111 multifarious.dvi: true
112 cd ../papers/multifarious; make $@
113 cp ../papers/multifarious/$@ $@
117 cd ../papers/mznet; make $@
118 cp ../papers/mznet/$@ $@
122 cd ../papers/realwork; make $@
123 cp ../papers/realwork/$@ $@
127 cd ../papers/trusted; make $@
128 cp ../papers/trusted/$@ $@
132 cd ../papers/tutorial; make $@
133 cp ../papers/tutorial/$@ $@
136 ##############################################################################
137 # Miscellaneous tasks
138 ##############################################################################
140 distribution: clean ../READ-ME
142 unconfig clean: unclean
143 rm -f *.cat *.dvi *.imp *.doc
145 unclean:; rm -f *.tmp _* :* core