1 #################################################################################
5 # This is the main Makefile for fptools.
7 #################################################################################
10 include $(TOP)/mk/boilerplate.mk
11 SRC_DIST_DIR=$(shell pwd)/$(SRC_DIST_NAME)
13 SUBDIRS = $(ProjectsToBuild)
16 # Files to include in fptools source distribution
18 SRC_DIST_DIRS += mk $(ProjectsToBuild)
19 SRC_DIST_FILES += configure.in config.guess config.sub configure README ANNOUNCE NEWS INSTALL Makefile
23 # Making a binary distribution
25 BIN_DIST_TMPDIR=$(shell pwd)
29 # list of toplevel `projects' to include in binary distrib.
33 binary-dist:: binary-dist-pre
35 BIN_DIST_TOP= distrib/Makefile-bin.in \
36 distrib/configure-bin.in \
42 @for i in $(BIN_DIST_TOP); do \
43 @echo cp $$i $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME) \
44 cp $$i $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME) \
48 # Creating and copying the documentation into the bin-dist tree.
51 $(MKDIRHIER) $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/html
52 $(MKDIRHIER) $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/dvi
53 $(MKDIRHIER) $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/info
54 @echo "Making html documentation.."
55 $(MAKE) -C docs --no-print-directory $(MFLAGS) html
56 cp docs/html/* $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/html
57 @echo "Making dvi files.."
58 $(MAKE) -C docs --no-print-directory $(MFLAGS) dvi
59 cp docs/*.dvi $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/dvi
60 @echo "Making info files.."
61 $(MAKE) -C docs --no-print-directory $(MFLAGS) info
62 cp docs/*.info* $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/info
65 include $(TOP)/mk/target.mk