github-mirror/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell.git synced 2024-11-26 10:43:47 +08:00
Code Issues Actions 3 Packages Projects Releases Wiki Activity

rename make target "user_doc" to "doc"

Browse Source 
Fixes #2875
This commit is contained in:
Jak Wings 2016-03-31 14:51:58 +08:00
parent 35cee1e39c
commit 6888c3d604
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Makefile.in
View File

@ -213,7 +213,7 @@ endif
#
ifeq ($(HAVE_DOXYGEN), 1)
user_doc=user_doc
user_doc=doc
share_man=share/man
else
user_doc=