(mostlyclean): Remove *.info.

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 82a94169266051b461f4d51a8339d1f4b295a6dd..d1d0213c74e06159b994f5e5f15515809b65c066 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -12,8 +12,8 @@
 # GNU General Public License for more details.
 
 # You should have received a copy of the GNU General Public License
-# along with this program; if not, write to the Free Software
-# Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+# along with this program; if not, write to the Free Software Foundation,
+# Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
 
 SHELL = /bin/sh
 
@@ -73,6 +73,7 @@ texclean:
            *.fl *.cm *.op *.cps
 
 mostlyclean: texclean
+       rm -f *.info
 
 clean: mostlyclean