diff options
-rw-r--r-- | spec/.gitignore | 1 | ||||
-rw-r--r-- | spec/Makefile | 9 |
2 files changed, 10 insertions, 0 deletions
diff --git a/spec/.gitignore b/spec/.gitignore new file mode 100644 index 0000000..2d19fc7 --- /dev/null +++ b/spec/.gitignore @@ -0,0 +1 @@ +*.html diff --git a/spec/Makefile b/spec/Makefile new file mode 100644 index 0000000..1c445fb --- /dev/null +++ b/spec/Makefile @@ -0,0 +1,9 @@ +DOCS = sound-naming-spec.html sound-theme-spec.html + +%.html: %.xml + xsltproc /usr/share/sgml/docbook/xsl-stylesheets-1.73.2/xhtml/docbook.xsl $< > $@ + +all: $(DOCS) + +clean: + rm -f $(DOCS) |