summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLennart Poettering <mzfuryy@0pointer.net>2008-06-10 17:07:26 +0200
committerLennart Poettering <mzfuryy@0pointer.net>2008-06-10 17:07:26 +0200
commitea81fc548ab11db4077f2ace0555c040a769c926 (patch)
tree63bf83d26b46d24a83b75e26deacac7bbc677183
parent55eadc23f8741e828378f7af76e6cd6bf8fe9c4d (diff)
add make file for generating the html versions
-rw-r--r--spec/.gitignore1
-rw-r--r--spec/Makefile9
2 files changed, 10 insertions, 0 deletions
diff --git a/spec/.gitignore b/spec/.gitignore
new file mode 100644
index 0000000..514a968
--- /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)