* configure,
[fw/sdcc] / Makefile.in
index 8942a698de5b7ffa8bf81689b3b20adea64216d0..380db7517c93e418ba40c1b94d71e26bdd3a260b 100644 (file)
@@ -51,8 +51,9 @@ endif
 
 ifeq ($(OPT_ENABLE_DOC), 1)
 TARGETS         += sdcc-doc
-PKGS            += $(SDCC_DOC)
 endif
+# always install docs, which don't need to be built 
+PKGS            += $(SDCC_DOC)
 
 ifeq ($(OPT_DISABLE_SDCPP), 0)
 SDCC_LIBS       += support/cpp2