commit | e20df632c4cd717061ae8176a5c34181c671baee | [log] [tgz] |
---|---|---|
author | Thomas De Schampheleire <patrickdepinguin@gmail.com> | Wed Feb 05 14:51:00 2014 +0100 |
committer | Peter Korsgaard <peter@korsgaard.com> | Sat Feb 08 23:44:48 2014 +0100 |
tree | baa0dda065f2f58cbb55fb3db22e6fdfe033b505 | |
parent | 334dca61ad4ed431a10f388635b596bce2030e2f [diff] |
infra: remove separate definition of DISABLE_DOCUMENTATION Since we now always disable documentation on target, there is no need to have a separate variable DISABLE_DOCUMENTATION anymore. Suggested-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com> Signed-off-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>