diff options
author | Hans Nilsson <[email protected]> | 2018-04-18 20:17:49 +0200 |
---|---|---|
committer | Hans Nilsson <[email protected]> | 2018-04-25 18:25:24 +0200 |
commit | 06a782d7b5868237fa260b293f50646f9883cf33 (patch) | |
tree | ae833a196c08a4a91f1209c558986b7c60fb1eee /lib/ssh/doc/src/Makefile | |
parent | 30689e4e47351e235944350c88822b1e09b290e6 (diff) | |
download | otp-06a782d7b5868237fa260b293f50646f9883cf33.tar.gz otp-06a782d7b5868237fa260b293f50646f9883cf33.tar.bz2 otp-06a782d7b5868237fa260b293f50646f9883cf33.zip |
ssh: Use -spec and -type for documentation generation
Diffstat (limited to 'lib/ssh/doc/src/Makefile')
-rw-r--r-- | lib/ssh/doc/src/Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/ssh/doc/src/Makefile b/lib/ssh/doc/src/Makefile index f54f5e0708..0063484f72 100644 --- a/lib/ssh/doc/src/Makefile +++ b/lib/ssh/doc/src/Makefile @@ -84,12 +84,19 @@ HTML_REF_MAN_FILE = $(HTMLDIR)/index.html TOP_PDF_FILE = $(PDFDIR)/$(APPLICATION)-$(VSN).pdf +SPECS_FILES = $(XML_REF3_FILES:%.xml=$(SPECDIR)/specs_%.xml) + +TOP_SPECS_FILE = specs.xml + # ---------------------------------------------------- # FLAGS # ---------------------------------------------------- XML_FLAGS += DVIPS_FLAGS += +#SPECS_FLAGS = -I../../include -I../../../kernel/include +SPECS_FLAGS = -I../../../public_key/include -I../../../public_key/src -I../../.. + # ---------------------------------------------------- # Targets # ---------------------------------------------------- @@ -111,6 +118,7 @@ clean clean_docs: rm -rf $(HTMLDIR)/* rm -f $(MAN3DIR)/* rm -f $(TOP_PDF_FILE) $(TOP_PDF_FILE:%.pdf=%.fo) + rm -f $(SPECS_FILES) rm -f errs core *~ man: $(MAN3_FILES) $(MAN6_FILES) |