diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2013-01-11 21:21:30 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2013-01-11 21:21:30 (GMT) |
commit | b980fd9e4783bcfb489cf5d3fbe078852985ceab (patch) | |
tree | 177c52302e62a2bac3ea5c7ed6538249ff3eaaa6 | |
parent | c2da8e815257412027b579fbc844f36b1877c510 (diff) |
Remove docs makefile include
-rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -13,4 +13,3 @@ all: build include Makefile.config include Makefile.commands include Makefile.snapshot -include Makefile.docs |