mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-24 09:16:43 +00:00
Fix a serious bug in Makefile. 'make' should recompile when a source file
has been modified. git-svn-id: https://pandoc.googlecode.com/svn/trunk@88 788f1e2b-df1e-0410-8736-df70ead52e1b
This commit is contained in:
@@ -102,16 +102,15 @@ $(BUILDCONF): $(CABAL)
|
||||
@echo "DESTDIR?=$(DESTDIR)" >>$(BUILDVARS)
|
||||
|
||||
.PHONY: build
|
||||
build: $(BUILDDIR)
|
||||
$(BUILDDIR)/: templates configure
|
||||
build: templates configure
|
||||
$(BUILDCMD) build
|
||||
|
||||
.PHONY: build-exec
|
||||
build-exec: $(EXECS)
|
||||
cleanup_files+=$(EXECS)
|
||||
$(EXECS): $(BUILDDIR)
|
||||
$(EXECS): build
|
||||
for f in $@; do \
|
||||
find $(BUILDDIR) -type f -name "$$f" -perm +a=x -exec cp {} . \; ; \
|
||||
find $(BUILDDIR) -type f -name "$$f" -perm +a=x -exec cp -p {} . \; ; \
|
||||
done
|
||||
|
||||
.PHONY: build-doc
|
||||
|
||||
Reference in New Issue
Block a user