Remove bug-report.texinfo

It is unused; send-pr.texinfo supercedes it at the moment anyway.

ticket: 7408

diff --git a/doc/Makefile b/doc/Makefile
index 599da3f6cfbb3c0e1f3ec0dfae83f4670455e074..7e6d6376b18ffc6874b70a182a8d4a371bff2fe7 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -18,7 +18,7 @@ ADMIN_INCLUDES=definitions.texinfo copyright.texinfo document-list.texinfo \
 ADMIN_DEPS=admin.texinfo $(ADMIN_INCLUDES)
 
 INSTALL_INCLUDES=definitions.texinfo copyright.texinfo document-list.texinfo \
-       dnstxt.texinfo dnssrv.texinfo build.texinfo bug-report.texinfo \
+       dnstxt.texinfo dnssrv.texinfo build.texinfo \
        krb5conf.texinfo kdcconf.texinfo send-pr.texinfo
 INSTALL_DEPS=install.texinfo $(INSTALL_INCLUDES)
 

diff --git a/doc/bug-report.texinfo b/doc/bug-report.texinfo
deleted file mode 100644 (file)
index 9a1767d..0000000
--- a/doc/bug-report.texinfo
+++ /dev/null
@@ -1,10 +0,0 @@
-In any complex software, there will be bugs. Please send bug reports or
-other problems you may uncover using the @code{krb5-send-pr} program
-installed with the distribution.  In case @code{krb5-send-pr} fails to
-work, send bug reports to @samp{krb5-bugs@@mit.edu}.  Please mention
-which version of the Kerberos V5 distribution you are using, and whether
-you have made any private changes.  Bug reports that include proposed
-fixes are especially welcome.  If you do include fixes, please send them
-using either context diffs or unified diffs (using @samp{diff -c} or
-@samp{diff -u}, respectively).
-