diff options
Diffstat (limited to 'Documentation/Makefile.in')
| -rw-r--r-- | Documentation/Makefile.in | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/Documentation/Makefile.in b/Documentation/Makefile.in index aea2cb47..539c6b55 100644 --- a/Documentation/Makefile.in +++ b/Documentation/Makefile.in @@ -68,11 +68,6 @@ ifndef V QUIET_ASCIIDOC = @echo " [ASCII] $@"; QUIET_XMLTO = @echo " [XMLTO] $@"; QUIET_GZIP = @echo " [GZ] $@"; - QUIET_STDERR = 2> /dev/null - QUIET_SUBDIR0 = +@subdir= - QUIET_SUBDIR1 = ;$(NO_SUBDIR) echo ' ' SUBDIR $$subdir; \ - $(MAKE) $(PRINT_DIR) -C $$subdir - export V endif endif |