Added default namespace test case

diff --git a/litprog/example/Makefile b/litprog/example/Makefile
index 03d6c434a872f366ba29c66e9c15f5a5c8c8be37..9842ac876ad46109898ab7e6d21e47701b518b88 100644 (file)
--- a/litprog/example/Makefile
+++ b/litprog/example/Makefile
@@ -36,10 +36,21 @@ fib.xml: fib.xweb
 fib.xpp: fib.xweb prettyprint.pl
        perl prettyprint.pl $< > $@
 
-realclean:
+defns.html: defns.xml
+       $(XSLT) $< doc.xsl $@
+
+defns.xml: defns.xweb
+       $(XSLT) $< ../weave.xsl $@
+
+defns.rng: defns.xweb
+       $(XSLT) $< ../xtangle.xsl $@
+
+realclean: clean
+       rm -f defns.rng
        rm -f doc.{xsd,xpp}
        rm -f fib.{pl,xpp}
 
 clean:
+       rm -f defns.{html,xml,fo,pdf}
        rm -f doc.{html,xml,fo,pdf}
        rm -f fib.{html,xml,fo,pdf}