diff options
| author | bjorn <bjorn@bringert.net> | 2008-06-27 18:15:27 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-06-27 18:15:27 +0000 |
| commit | c10ce9ccf003c30126db80b008c1b9704bef7349 (patch) | |
| tree | 6fe28a8fe8c32863c3fcdfd443776b10773b3f0b | |
| parent | 5f6691dac3983dadd23dba903d44eabf03d06c27 (diff) | |
Build gfdoc in binary-dist, since the tarball includes it.
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index e64c738ea..31023d5a9 100644 --- a/src/Makefile +++ b/src/Makefile @@ -207,7 +207,7 @@ binary-dist: mkdir $(BIN_DIST_DIR) mkdir $(BIN_DIST_DIR)/lib ./configure --host="$(host)" --build="$(build)" - $(MAKE) all + $(MAKE) all gfdoc $(INSTALL) ../bin/$(GF_EXE) tools/$(GF_DOC_EXE) $(BIN_DIST_DIR) $(INSTALL) configure config.guess config.sub install-sh $(BIN_DIST_DIR) $(INSTALL) -m 0644 ../README ../LICENSE $(BIN_DIST_DIR) |