diff options
| author | Hans Nilsson <[email protected]> | 2018-08-28 15:59:37 +0200 |
|---|---|---|
| committer | Hans Nilsson <[email protected]> | 2018-09-13 12:07:55 +0200 |
| commit | dce332fd4adca8e1ef1b54db69f14ec7186a3a44 (patch) | |
| tree | 00daae1fa4695da5580c237b0783abcdeb29b8c3 /lib | |
| parent | 5a67298324cc03454e659a1983fd7696451998aa (diff) | |
| download | otp-dce332fd4adca8e1ef1b54db69f14ec7186a3a44.tar.gz otp-dce332fd4adca8e1ef1b54db69f14ec7186a3a44.tar.bz2 otp-dce332fd4adca8e1ef1b54db69f14ec7186a3a44.zip | |
public_key: Setup for doc generation
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/public_key/doc/specs/.gitignore | 1 | ||||
| -rw-r--r-- | lib/public_key/doc/src/Makefile | 7 | ||||
| -rw-r--r-- | lib/public_key/doc/src/specs.xml | 4 |
3 files changed, 12 insertions, 0 deletions
diff --git a/lib/public_key/doc/specs/.gitignore b/lib/public_key/doc/specs/.gitignore new file mode 100644 index 0000000000..322eebcb06 --- /dev/null +++ b/lib/public_key/doc/specs/.gitignore @@ -0,0 +1 @@ +specs_*.xml diff --git a/lib/public_key/doc/src/Makefile b/lib/public_key/doc/src/Makefile index 03467e9783..8575b196b7 100644 --- a/lib/public_key/doc/src/Makefile +++ b/lib/public_key/doc/src/Makefile @@ -77,12 +77,18 @@ 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../../src -I../../.. + # ---------------------------------------------------- # Targets # ---------------------------------------------------- @@ -103,6 +109,7 @@ clean clean_docs: rm -f $(MAN3DIR)/* rm -f $(MAN6DIR)/* rm -f $(TOP_PDF_FILE) $(TOP_PDF_FILE:%.pdf=%.fo) + rm -f $(SPECS_FILES) rm -f errs core *~ man: $(MAN3_FILES) $(MAN6_FILES) diff --git a/lib/public_key/doc/src/specs.xml b/lib/public_key/doc/src/specs.xml new file mode 100644 index 0000000000..e358ea1154 --- /dev/null +++ b/lib/public_key/doc/src/specs.xml @@ -0,0 +1,4 @@ +<?xml version="1.0" encoding="utf-8" ?> +<specs xmlns:xi="http://www.w3.org/2001/XInclude"> + <xi:include href="../specs/specs_public_key.xml"/> +</specs> |