diff options
| author | Micael Karlberg <[email protected]> | 2011-11-08 16:29:34 +0100 |
|---|---|---|
| committer | Micael Karlberg <[email protected]> | 2011-11-08 16:29:34 +0100 |
| commit | c4ba4b92ba9caed7b1a6732ac53c78330b4558fd (patch) | |
| tree | 0eb24ad030e08c56f2efa9a1b4ea96cc5dfa947b /lib/diameter/doc/src/Makefile | |
| parent | b3929cdc4479170842d36a7f2ba757ff052e098b (diff) | |
| parent | 12a5e61df498ec80383514ca79b795c40522e19a (diff) | |
| download | otp-c4ba4b92ba9caed7b1a6732ac53c78330b4558fd.tar.gz otp-c4ba4b92ba9caed7b1a6732ac53c78330b4558fd.tar.bz2 otp-c4ba4b92ba9caed7b1a6732ac53c78330b4558fd.zip | |
Merge branch 'master' of super:otp into bmk/snmp/compiler/misc/OTP-9618
Diffstat (limited to 'lib/diameter/doc/src/Makefile')
| -rw-r--r-- | lib/diameter/doc/src/Makefile | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/lib/diameter/doc/src/Makefile b/lib/diameter/doc/src/Makefile index 1453138cb6..bc3e649e6b 100644 --- a/lib/diameter/doc/src/Makefile +++ b/lib/diameter/doc/src/Makefile @@ -126,8 +126,6 @@ debug opt: info: @echo "->Makefile<-" @echo "" - @echo "DOCSUPPORT = $(DOCSUPPORT)" - @echo "" @echo "INDEX_FILE = $(INDEX_FILE)" @echo "INDEX_SRC = $(INDEX_SRC)" @echo "INDEX_TARGET = $(INDEX_TARGET)" @@ -141,10 +139,6 @@ info: @echo "" @echo "GIF_FILES = $(GIF_FILES)" @echo "" - @echo "TEX_FILES_USERS_GUIDE = $(TEX_FILES_USERS_GUIDE)" - @echo "TEX_FILES_REF_MAN = $(TEX_FILES_REF_MAN)" - @echo "TEX_FILES_BOOK = $(TEX_FILES_BOOK)" - @echo "" @echo "MAN1_FILES = $(MAN1_FILES)" @echo "MAN3_FILES = $(MAN3_FILES)" @echo "MAN4_FILES = $(MAN4_FILES)" |