From 379793d98236f5bdd0fda71db038713f3124250d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Sun, 30 Jan 2022 21:17:01 +0100 Subject: [PATCH] update makefiles for documentation --- doc/DIR_MAKEFILE | 3 +-- doc/Makefile | 14 +++++++++++++- 2 files changed, 14 insertions(+), 3 deletions(-) mode change 120000 => 100644 doc/Makefile 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)