diff options
author | Dimitri John Ledkov <xnox@ubuntu.com> | 2017-07-31 14:54:24 +0100 |
---|---|---|
committer | Dimitri John Ledkov <xnox@ubuntu.com> | 2017-07-31 14:54:24 +0100 |
commit | 6a0440391da7a99ffab94ccc66264af9b5f3ce34 (patch) | |
tree | 1c7cf4f07b08c4965ab19819ebce367be16fb980 /Documentation/Makefile.in | |
parent | 5f2e2384443a09e3f1fec71940e9e32b70789102 (diff) |
New upstream release.
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 |