diff options
Diffstat (limited to 'win32')
-rw-r--r-- | win32/Makefile.sub | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/win32/Makefile.sub b/win32/Makefile.sub index 95115e454c..90f43d60f9 100644 --- a/win32/Makefile.sub +++ b/win32/Makefile.sub @@ -158,7 +158,7 @@ CAPITARGET = nodoc ! endif !endif !ifndef DOCTARGETS -! if "$(RDOCTARGET)" == "rdoc" +! if "$(RDOCTARGET)" == "rdoc" || "$(RDOCTARGET)" == "" DOCTARGETS = $(DOCTARGETS) rdoc ! endif ! if "$(CAPITARGET)" == "capi" @@ -166,7 +166,7 @@ DOCTARGETS = $(DOCTARGETS) capi ! endif !endif !ifndef INSTALLDOC -! if "$(DOCTARGETS)" != "" +! if "$(DOCTARGETS)" == "" INSTALLDOC = all ! else INSTALLDOC = nodoc |