diff options
Diffstat (limited to 'win32')
| -rw-r--r-- | win32/Makefile.sub | 23 |
1 files changed, 21 insertions, 2 deletions
diff --git a/win32/Makefile.sub b/win32/Makefile.sub index 21a354312c..a46a02216b 100644 --- a/win32/Makefile.sub +++ b/win32/Makefile.sub @@ -150,8 +150,27 @@ TESTUI = console !ifndef TESTS TESTS = !endif -!ifndef RDOCTARGET -RDOCTARGET = rdoc +!ifndef CAPITARGET +! ifdef DOXYGEN +CAPITARGET = capi +! else +CAPITARGET = nodoc +! endif +!endif +!ifndef DOCTARGETS +! if "$(RDOCTARGET)" == "rdoc" +DOCTARGETS = $(DOCTARGETS) rdoc +! endif +! if "$(CAPITARGET)" == "capi" +DOCTARGETS = $(DOCTARGETS) capi +! endif +!ifndef INSTALLDOC +! if "$(DOCTARGETS)" != "" +INSTALLDOC = all +! else +INSTALLDOC = nodoc +DOCTARGETS = nodoc +! endif !endif OUTFLAG = -Fe |