diff options
Diffstat (limited to 'xembed/Makefile')
| -rw-r--r-- | xembed/Makefile | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/xembed/Makefile b/xembed/Makefile deleted file mode 100644 index 030626c..0000000 --- a/xembed/Makefile +++ /dev/null @@ -1,13 +0,0 @@ -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 - |