diff options
| -rw-r--r-- | secret-service/.gitignore | 3 | ||||
| -rw-r--r-- | secret-service/Makefile | 10 |
2 files changed, 13 insertions, 0 deletions
diff --git a/secret-service/.gitignore b/secret-service/.gitignore new file mode 100644 index 0000000..551e415 --- /dev/null +++ b/secret-service/.gitignore @@ -0,0 +1,3 @@ + +/html/*.html +reference.xml diff --git a/secret-service/Makefile b/secret-service/Makefile new file mode 100644 index 0000000..b5c4ab5 --- /dev/null +++ b/secret-service/Makefile @@ -0,0 +1,10 @@ + +SPEC = org.freedesktop.Secrets.xml + +all: html/index.html + +html/index.html: reference.xml params-html.xsl specification.xml + xmlto --skip-validation -o html -p params-html.xsl xhtml specification.xml + +reference.xml: tools/spec-to-docbook.xsl $(SPEC) + xsltproc tools/spec-to-docbook.xsl $(SPEC) > $@ |