--- doc/info/Makefile.in.orig	2014-12-13 09:46:17.000000000 +0900
+++ doc/info/Makefile.in	2015-02-20 02:12:42.000000000 +0900
@@ -1195,16 +1195,10 @@
 @CHM_TRUE@	rm -rf chm
 
 check_texinfo:
-	pattern=`printf "\t"` ; \
-	bad_files=`find . -name '*.texi' -print | xargs $(EGREP) -l -e "$$pattern"` ; \
-	[ -z  "$$bad_files" ] || ( echo "ERROR: The following files have unexpanded Tabs: $$bad_files" ; \
-	echo "Run make distclean and then /doc/info/fix_tab to fix the problem." ; exit 1 )
+	echo "check_texinfo dummy target"
 
 warn_texinfo:
-	pattern=`printf "\t"` ; \
-	bad_files=`find . -name '*.texi' -print | xargs $(EGREP) -l -e "$$pattern"` ; \
-	[ -z  "$$bad_files" ] || ( echo "WARNING: The following files have unexpanded Tabs: $$bad_files" ; \
-	echo "Run /doc/info/fix_tab to fix the problem." )
+	echo "warn_texinfo dummy target"
 
 .PHONY: check_texinfo warn_texinfo