gnustep/tools-make
0
0
Fork 0
mirror of https://github.com/gnustep/tools-make.git synced 2025-04-23 22:33:28 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Avoid unnecessary documentation regeneration.

Browse source 
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/tools/make/trunk@17294 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
Richard Frith-Macdonald 2003-07-22 12:47:24 +00:00
parent 17e41267c5
commit 18ae999132
2 changed files with 7 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
ChangeLog
View file

@ -5,7 +5,8 @@
work due to the presence of spaces.
* messages.make: Make documentation generation less verbose.
* Instance/Documentation/autogsdoc.make: ditto
Also use autogsdoc -MakeDependencies to avoid unnecessary
regeneration of documentation.
2003-07-21 Adam Fedor <fedor@gnu.org>

10
Instance/Documentation/autogsdoc.make
View file

@ -32,16 +32,16 @@ AGSDOC_FLAGS = $($(GNUSTEP_INSTANCE)_AGSDOC_FLAGS)
INTERNAL_AGSDOCFLAGS = -Project $(GNUSTEP_INSTANCE)
INTERNAL_AGSDOCFLAGS += -DocumentationDirectory $(GNUSTEP_INSTANCE)
INTERNAL_AGSDOCFLAGS += $(AGSDOC_FLAGS)
INTERNAL_AGSDOCFLAGS += -MakeDependencies $(GNUSTEP_INSTANCE).stamp
internal-doc-all_:: generate-autogsdoc
internal-doc-all_:: $(GNUSTEP_INSTANCE).stamp
-include $(GNUSTEP_INSTANCE).stamp
$(GNUSTEP_INSTANCE):
$(ECHO_CREATING)$(MKDIRS) $@$(END_ECHO)
# FIXME: We need appropriate rules here to determine when to run
# autogsdoc ... this simplistic rule inefficiently runs autogsdoc
# every time.
generate-autogsdoc: $(GNUSTEP_INSTANCE)
$(GNUSTEP_INSTANCE).stamp:
$(ECHO_AUTOGSDOC)$(AUTOGSDOC) $(INTERNAL_AGSDOCFLAGS) $(AGSDOC_FILES)$(END_ECHO)
internal-doc-install_::