Disconnect the texinfo users guide from the build

Its content has been migrated to or superseded by the krb_users
reST documentation.

The texinfo document attempted to have a general introduction to
Kerberos, but it is not quite suitable for the target audience
of the user's guide and will be rewritten.

A few portions of the texinfo document are simply no longer relevant
and do not need to be migrated.  In particular:
The krb5-appl utilities are out of scope for this document, as they
have been moved to a separate repository.  Coverage of ksu may be
brought back at a later time, though.
The Kerberos Glossary will be expanded and handled separately.

ticket: 7408

diff --git a/doc/Makefile b/doc/Makefile
index 56e2cdb52199e6db9fceaec63c01d5564d965162..7dc41c32109ddd7377f3e25ba42c78d12c4073fc 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -20,7 +20,7 @@ USER_GUIDE_INCLUDES=definitions.texinfo copyright.texinfo glossary.texinfo
 USER_GUIDE_DEPS=user-guide.texinfo $(USER_GUIDE_INCLUDES)
 
 .PHONY: all
-all:: user-guide-full clean-temp-ps clean-tex
+all:: clean-temp-ps clean-tex
 
 .PHONY: user-guide-full
 user-guide-full:: user-guide user-guide-info user-guide-html