-# The way to install Info files is to copy them into `$(infodir)'
-# with $(INSTALL_DATA) (see Command Variables), and then run the
-# install-info program if it is present. install-info is a script
-# that edits the Info `dir' file to add or update the menu entry for
-# the given Info file; it will be part of the Texinfo package. Here
-# is a sample rule to install an Info file:
-#
-# $(infodir)/foo.info: foo.info # There may be a newer info
-# file in . than in srcdir.
-# -if test -f foo.info; then d=.; \
-# else d=$(srcdir); fi; \ $(INSTALL_DATA)
-# $$d/foo.info $@; \ # Run install-info only if it
-# exists. # Use `if' instead of just prepending `-' to the
-# # line so we notice real errors from install-info. # We
-# use `$(SHELL) -c' because some shells do not # fail
-# gracefully when there is an unknown command.
-# if $(SHELL) -c 'install-info --version' \
-# >/dev/null 2>&1; then \ install-info
-# --infodir=$(infodir) $$d/foo.info; \ else true;
-# fi
-#