diff options
| author | Micael Karlberg <[email protected]> | 2011-07-26 19:22:17 +0200 |
|---|---|---|
| committer | Micael Karlberg <[email protected]> | 2011-07-26 19:22:17 +0200 |
| commit | 4ed9eabf91e2920e52596e134d2b1ccad8724007 (patch) | |
| tree | 985be2bd44b568c2f6c48beaefd835f7ffd5c819 /lib/snmp/doc/src/Makefile | |
| parent | 397253e311c31eefdaf179c4c3c62abba99d43bf (diff) | |
| parent | 48048a64e6d47fbdfda502bc9550aaa4d0d80cfb (diff) | |
| download | otp-4ed9eabf91e2920e52596e134d2b1ccad8724007.tar.gz otp-4ed9eabf91e2920e52596e134d2b1ccad8724007.tar.bz2 otp-4ed9eabf91e2920e52596e134d2b1ccad8724007.zip | |
Merge branch 'maint-r14' into dev
Conflicts:
lib/snmp/doc/src/notes.xml
lib/snmp/src/agent/snmpa_mpd.erl
lib/snmp/src/app/snmp.appup.src
lib/snmp/vsn.mk
Diffstat (limited to 'lib/snmp/doc/src/Makefile')
| -rw-r--r-- | lib/snmp/doc/src/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/snmp/doc/src/Makefile b/lib/snmp/doc/src/Makefile index 35ed63e103..aa9431477c 100644 --- a/lib/snmp/doc/src/Makefile +++ b/lib/snmp/doc/src/Makefile @@ -152,6 +152,7 @@ $(TOP_PDF_FILE): $(XML_FILES) pdf: $(TOP_PDF_FILE) html: gifs $(HTML_REF_MAN_FILE) +html2: html $(INDEX_TARGET) clean clean_docs: clean_html clean_man clean_pdf rm -f errs core *~ @@ -228,6 +229,7 @@ clean_man: clean_html: @echo "cleaning html:" rm -rf $(HTMLDIR)/* + rm -f $(INDEX_TARGET) $(MAN7DIR)/%.7: $(MIBSDIR)/%.mib @echo "processing $*" @@ -286,7 +288,7 @@ release_docs_spec: docs $(INSTALL_DATA) $(INFO_FILE) $(RELSYSDIR) $(INSTALL_DIR) $(RELEASE_PATH)/man/man1 $(INSTALL_DATA) $(MAN1_FILES) $(RELEASE_PATH)/man/man1 - $(INSTALL_DIR) $(RELEASE_PATH)/man/man + $(INSTALL_DIR) $(RELEASE_PATH)/man/man3 $(INSTALL_DATA) $(MAN3_FILES) $(RELEASE_PATH)/man/man3 $(INSTALL_DIR) $(RELEASE_PATH)/man/man6 $(INSTALL_DATA) $(MAN6_FILES) $(RELEASE_PATH)/man/man6 |