krb5 commit: Disconnect the texinfo users guide from the build

[Benjamin Kaduk]

https://github.com/krb5/krb5/commit/8fb9784941a279a911f600ad7ba390b99c43ae05
commit 8fb9784941a279a911f600ad7ba390b99c43ae05
Author: Ben Kaduk <kaduk at mit.edu>
Date:   Fri Oct 12 11:36:38 2012 -0400

    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

 doc/Makefile |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index 56e2cdb..7dc41c3 100644
--- 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