fixed handling makefiles in doc/devel

diff --git a/doc/Makefile.am b/doc/Makefile.am
index d13a3f183c4755785f55ecd91dcc89a0ed250275..64a99fbc164466998307ab7ac4d5ae58f8d2a130 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,4 +1,4 @@
-SUBDIRS = sphinx
+SUBDIRS = sphinx devel
 
 EXTRA_DIST = images/kea-logo-100x70.png
 

diff --git a/doc/devel/Makefile.am b/doc/devel/Makefile.am
index b103ee579580122b98026817e94d3d68209e2a21..2fa11f4a401a9445a2c3b20ffbc943c8449c414e 100644 (file)
--- a/doc/devel/Makefile.am
+++ b/doc/devel/Makefile.am
@@ -9,7 +9,7 @@ EXTRA_DIST += unit-tests.dox
 EXTRA_DIST += doc.dox
 EXTRA_DIST += congestion-handling.dox
 
-all: devel
+all: # do nothing, used only by developers manually
 
 devel:
        mkdir -p $(builddir)/html