diff options
| author | Björn Gustavsson <[email protected]> | 2011-10-20 14:30:21 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2011-10-27 12:52:54 +0200 |
| commit | 688002a16af52b2348fbc9e285ef4df32ee0e5fd (patch) | |
| tree | 56c1513d06d4056faed0a7821bb8e478cc252be1 /lib/diameter/doc/src | |
| parent | a971c9568ccebed4e8d00abf52faa59a2bcc1c18 (diff) | |
| download | otp-688002a16af52b2348fbc9e285ef4df32ee0e5fd.tar.gz otp-688002a16af52b2348fbc9e285ef4df32ee0e5fd.tar.bz2 otp-688002a16af52b2348fbc9e285ef4df32ee0e5fd.zip | |
doc Makefiles: Eliminate DOCSUPPORT ifdefs
Some applications still have support for an ancient documentation
build system. Eliminate the DOCSUPPORT define in otp.mk.in and the
not taken arm of the ifdefs in the Makefiles.
Diffstat (limited to 'lib/diameter/doc/src')
| -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)" |