diff --git a/doc/DIR_MAKEFILE b/doc/DIR_MAKEFILE
index 9e30426..a80927d 100644
--- a/doc/DIR_MAKEFILE
+++ b/doc/DIR_MAKEFILE
@@ -6,8 +6,7 @@ $(TOPTARGETS): $(SUBDIRS)
 $(SUBDIRS):
 		$(MAKE) -C $@ $(MAKECMDGOALS)
 
-central-doc:
-		$(MAKE) -C $@ $(MAKECMDGOALS)
+central-doc: $(SUBDIRS)
 		mv *.pdf ..
 
 .PHONY: $(TOPTARGETS) $(SUBDIRS)
diff --git a/doc/Makefile b/doc/Makefile
deleted file mode 120000
index 57a5fed..0000000
--- a/doc/Makefile
+++ /dev/null
@@ -1 +0,0 @@
-DIR_MAKEFILE
\ No newline at end of file
diff --git a/doc/Makefile b/doc/Makefile
new file mode 100644
index 0000000..16e761d
--- /dev/null
+++ b/doc/Makefile
@@ -0,0 +1,13 @@
+TOPTARGETS := all clean doc full central-doc
+
+SUBDIRS := $(wildcard */.)
+
+$(TOPTARGETS): $(SUBDIRS)
+$(SUBDIRS):
+		$(MAKE) -C $@ $(MAKECMDGOALS)
+
+central-doc: $(SUBDIRS)
+		mkdir -p ../build/documentation
+		mv *.pdf ../build/documentation
+
+.PHONY: $(TOPTARGETS) $(SUBDIRS)