texinfo-for-Debian

===================================================================

Gbp-Pq: Name texinfo-for-Debian.patch

1 files changed, 0 insertions, 14 deletions

diff --git a/verilog.texinfo b/verilog.texinfo
index 1b43d93..cba38a3 100644
--- a/verilog.texinfo
+++ b/verilog.texinfo
@@ -59,25 +59,11 @@ are preserved on all copies.
 This document documents the use and customization of the Verilog-mode
 for Emacs.  
 @menu
-* New Versions::		Getting new versions
-* Installing::		        How to install the Verilog Mode
 * Getting Started::		Getting started using the Verilog-mode
 * Colors::      		Enabling and customizing the colors
 * FAQ::			        Frequently Asked Questions
 @end menu
 
-@node New Versions
-@chapter Getting New Versions
-
-Check the web at @file{http://www.veripool.org/verilog-mode} to see if
-there are newer versions of this mode.
-
-@node Installing
-@chapter Installing the Verilog-Mode
-
-See http://www.veripool.org/projects/verilog-mode/wiki/Installing
-and the instructions at the top of verilog-mode.el.
-
 @node Getting Started
 @chapter Getting Started Using the Verilog-Mode