X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=isolate%2FMakefile;h=4b562c636e01be8927ea182e1fba55782e1892d3;hb=28d1cfeba6612733f7626aa9fa6163a2a6970bf6;hp=3ebe9ac2b773ace37816272a23adefee1ef57377;hpb=744450caecd1d4440264d2e03742d16dc9b6b113;p=eval.git

diff --git a/isolate/Makefile b/isolate/Makefile
index 3ebe9ac..4b562c6 100644
--- a/isolate/Makefile
+++ b/isolate/Makefile
@@ -3,10 +3,20 @@
 
 DIRS+=isolate
 PROGS+=$(o)/isolate/isolate
-DOCS+=$(o)/isolate/isolate.1
+
+DOCS+=$(o)/isolate/isolate.1 $(o)/isolate/isolate.1.html
+MAN1DIR=share/man/man1
+EXTRA_RUNDIRS+=$(MAN1DIR)
 
 $(o)/isolate/isolate: $(o)/isolate/isolate.o
 
 $(o)/isolate/isolate.1: $(s)/isolate/isolate.1.txt
 	$(M)"MAN $<"
 	$(Q)a2x -f manpage -D $(o)/isolate $<
+	$(Q)$(call symlink,$@,run/$(MAN1DIR))
+
+# The dependency on isolate.1 is there to serialize both calls of asciidoc,
+# which does not name temporary files safely.
+$(o)/isolate/isolate.1.html: $(s)/isolate/isolate.1.txt $(o)/isolate/isolate.1
+	$(M)"HTML $<"
+	$(Q)a2x -f xhtml -D $(o)/isolate $<