Mirrors/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell synced 2024-11-10 23:24:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

only touch user_doc if doxygen installed

Browse source 
If doxygen isn't installed, an empty file called user_doc will be created.
If doxygen is later installed, the documentation will not generate correctly.
This commit is contained in:
David Adam (zanchey) 2012-06-18 00:29:11 +08:00 committed by ridiculousfish
parent 71f8960ef1
commit 6681f3bfec
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Makefile.in
View file

@ -337,8 +337,7 @@ prof:
user_doc: $(HDR_FILES_SRC) Doxyfile.user user_doc.head.html $(HELP_SRC) user_doc: $(HDR_FILES_SRC) Doxyfile.user user_doc.head.html $(HELP_SRC)
$(MAKE) doc.h $(HDR_FILES) $(MAKE) doc.h $(HDR_FILES)
- doxygen Doxyfile.user - doxygen Doxyfile.user && touch user_doc
touch user_doc
# #