diff options
author | Jannis Pohlmann <jannis.pohlmann@codethink.co.uk> | 2012-02-20 18:11:39 +0000 |
---|---|---|
committer | Jannis Pohlmann <jannis.pohlmann@codethink.co.uk> | 2012-02-20 18:11:39 +0000 |
commit | d56b4f17c6757175e36d314e7aca8ac51bb3560f (patch) | |
tree | f6851fd6b3b176b10f1edc7df7347e534cf9bc9a | |
parent | d80678c676eb050461be6d07450cc624381fdbdd (diff) | |
download | flex-d56b4f17c6757175e36d314e7aca8ac51bb3560f.tar.gz |
Clear dist_doc_DATA when calling make to avoid building documentation.
-rw-r--r-- | flex.morph | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6,7 +6,7 @@ "./configure --prefix=/usr" ], "build-commands": [ - "make" + "make dist_doc_DATA=" ], "install-commands": [ "make DESTDIR=\"$DESTDIR\" install", |