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

(un)install info files in GNUSTEP_DOCUMENTATION_INFO

Browse source 
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/tools/make/trunk@13319 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
Nicola Pero 2002-04-02 14:39:11 +00:00
parent 4fd84a1d2b
commit c8909a0158
1 changed files with 9 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
Instance/documentation.make
View file

@ -340,17 +340,23 @@ internal-doc-uninstall_::
done
endif
# TODO ... what about man pages ? are we installing them ?
#
# texi installation
#
ifneq ($(TEXI_FILES),)
# NB: Only install HTML if it has been generated
# We install all info files in the same directory, which is
# GNUSTEP_DOCUMENTATION_INFO. TODO: I think we should run
# install-info too - to keep up-to-date the dir index in that
# directory.
internal-doc-install_::
$(INSTALL_DATA) $(GNUSTEP_INSTANCE).ps \
$(GNUSTEP_DOCUMENTATION)/$(DOC_INSTALL_DIR)
$(INSTALL_DATA) $(GNUSTEP_INSTANCE).info \
$(GNUSTEP_DOCUMENTATION)/$(DOC_INSTALL_DIR)
$(INSTALL_DATA) $(GNUSTEP_INSTANCE).info $(GNUSTEP_DOCUMENTATION_INFO)
if [ -f $(GNUSTEP_INSTANCE)_toc.html ]; then \
$(INSTALL_DATA) $(GNUSTEP_INSTANCE)_*.html \
$(GNUSTEP_DOCUMENTATION)/$(DOC_INSTALL_DIR); \
@ -360,7 +366,7 @@ internal-doc-uninstall_::
rm -f \
$(GNUSTEP_DOCUMENTATION)/$(DOC_INSTALL_DIR)/$(GNUSTEP_INSTANCE).ps
rm -f \
$(GNUSTEP_DOCUMENTATION)/$(DOC_INSTALL_DIR)/$(GNUSTEP_INSTANCE).info
$(GNUSTEP_DOCUMENTATION_INFO)/$(GNUSTEP_INSTANCE).info
rm -f \
$(GNUSTEP_DOCUMENTATION)/$(DOC_INSTALL_DIR)/$(GNUSTEP_INSTANCE)_*.html
endif # TEXI_FILES