diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -12,5 +12,6 @@ all: build include Makefile.config include Makefile.commands -include Makefile.buildbot +include Makefile.snapshot +include Makefile.docs include Makefile.check |