From: Ian Lynagh <igloo@earth.li>
Date: Sat, 28 Aug 2010 22:57:51 +0000 (+0000)
Subject: users_guide.xml is now generated
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=4c467d137b814dc2dbcfbd0dcdd306edfcf7b860

users_guide.xml is now generated
---

diff --git a/docs/users_guide/users_guide.xml b/docs/users_guide/users_guide.xml
deleted file mode 100644
index 740e729..0000000
--- a/docs/users_guide/users_guide.xml
+++ /dev/null
@@ -1,11 +0,0 @@
-<?xml version="1.0" encoding="iso-8859-1"?>
-<!DOCTYPE book PUBLIC "-//OASIS//DTD DocBook XML V4.2//EN"
-   "http://www.oasis-open.org/docbook/xml/4.2/docbookx.dtd" [
-<!ENTITY % ug-ent SYSTEM "ug-ent.xml">
-%ug-ent;
-<!ENTITY ug-book SYSTEM "ug-book.xml">
-]>
-
-<book id="users-guide">
-&ug-book;
-</book>