Permalink
Browse files

don't absolutely require Makefile.boot because it is not

needed in non-boot mode (e.g. when only configuring the doc
directory).


git-svn-id: https://gforge.info.ucl.ac.be/svn/mozart@14543 ada56829-ad1f-0410-b00f-83cda6628aec
  • Loading branch information...
1 parent 4e81a91 commit 3c7824de1d02917932a0d5135820fc36805583a8 duchier committed Nov 27, 2001
Showing with 1 addition and 1 deletion.
  1. +1 −1 doc/Makefile.common.in
View
@@ -35,7 +35,7 @@ HTMLSUPPORTFILES = \
all:: Makefile ../Makefile.common $(WHAT)-html/index.html
-include $(BUILDTOP)/share/Makefile.boot
+-include $(BUILDTOP)/share/Makefile.boot
bootstrap: boot-all

0 comments on commit 3c7824d

Please sign in to comment.