diff options
Diffstat (limited to 'xembed/Makefile')
| -rw-r--r-- | xembed/Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/xembed/Makefile b/xembed/Makefile new file mode 100644 index 0000000..030626c --- /dev/null +++ b/xembed/Makefile @@ -0,0 +1,13 @@ +all: html-build.stamp xembed-spec.ps + +html-build.stamp: xembed-spec.xml + rm -rf html && mkdir html && \ + cd html && \ + docbook2html ../xembed-spec.xml && \ + touch ../html-build.stamp + +xembed-spec.ps: xembed-spec.xml + docbook2ps ./xembed-spec.xml + +clean: rm -rf html-build.stamp html xembed-spec.ps + |