diff options
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index a6ddcb8..01d0368 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -1,5 +1,5 @@ TOPDIR = . -SUBDIRS = src tests +SUBDIRS = src tests docs -include $(TOPDIR)/makefiles/top.mk |