update makefiles for documentation
This commit is contained in:
parent
9908fa858a
commit
379793d982
2 changed files with 14 additions and 3 deletions
|
@ -6,8 +6,7 @@ $(TOPTARGETS): $(SUBDIRS)
|
||||||
$(SUBDIRS):
|
$(SUBDIRS):
|
||||||
$(MAKE) -C $@ $(MAKECMDGOALS)
|
$(MAKE) -C $@ $(MAKECMDGOALS)
|
||||||
|
|
||||||
central-doc:
|
central-doc: $(SUBDIRS)
|
||||||
$(MAKE) -C $@ $(MAKECMDGOALS)
|
|
||||||
mv *.pdf ..
|
mv *.pdf ..
|
||||||
|
|
||||||
.PHONY: $(TOPTARGETS) $(SUBDIRS)
|
.PHONY: $(TOPTARGETS) $(SUBDIRS)
|
||||||
|
|
|
@ -1 +0,0 @@
|
||||||
DIR_MAKEFILE
|
|
13
doc/Makefile
Normal file
13
doc/Makefile
Normal file
|
@ -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)
|
Loading…
Reference in a new issue