mirror of
https://github.com/fish-shell/fish-shell
synced 2025-01-27 20:25:12 +00:00
docs: don't remove/rebuild share/man if we don't have doxygen
This commit is contained in:
parent
f230da12c5
commit
16ba544edd
1 changed files with 4 additions and 2 deletions
|
@ -269,15 +269,17 @@ TRANSLATIONS := $(TRANSLATIONS_SRC:.po=.gmo)
|
||||||
|
|
||||||
ifeq ($(HAVE_DOXYGEN), 1)
|
ifeq ($(HAVE_DOXYGEN), 1)
|
||||||
user_doc=user_doc
|
user_doc=user_doc
|
||||||
|
share_man=share/man
|
||||||
else
|
else
|
||||||
user_doc=
|
user_doc=
|
||||||
|
share_man=
|
||||||
endif
|
endif
|
||||||
|
|
||||||
#
|
#
|
||||||
# Make everything needed for installing fish
|
# Make everything needed for installing fish
|
||||||
#
|
#
|
||||||
|
|
||||||
all: $(PROGRAMS) $(user_doc) share/man $(TRANSLATIONS)
|
all: $(PROGRAMS) $(user_doc) $(share_man) $(TRANSLATIONS)
|
||||||
@echo fish has now been built.
|
@echo fish has now been built.
|
||||||
@echo Use \'$(MAKE) install\' to install fish.
|
@echo Use \'$(MAKE) install\' to install fish.
|
||||||
.PHONY: all
|
.PHONY: all
|
||||||
|
@ -828,7 +830,7 @@ clean:
|
||||||
rm -f command_list.txt toc.txt
|
rm -f command_list.txt toc.txt
|
||||||
rm -f doc_src/index.hdr doc_src/commands.hdr
|
rm -f doc_src/index.hdr doc_src/commands.hdr
|
||||||
rm -f FISH-BUILD-VERSION-FILE
|
rm -f FISH-BUILD-VERSION-FILE
|
||||||
if test $(HAVE_DOXYGEN) = 1; then \
|
if test "$(HAVE_DOXYGEN)" = 1; then \
|
||||||
rm -rf doc user_doc share/man; \
|
rm -rf doc user_doc share/man; \
|
||||||
fi
|
fi
|
||||||
rm -f $(TRANSLATIONS)
|
rm -f $(TRANSLATIONS)
|
||||||
|
|
Loading…
Reference in a new issue