blob: 44e562b27d107bbb6a50c74b7e77ebc7f64faae7 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
--- doc/info/Makefile.in.orig 2016-05-12 13:42:26 UTC
+++ doc/info/Makefile.in
@@ -1469,16 +1469,7 @@ clean-html:
@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 )
-
-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
|
