diff options
Diffstat (limited to 'ghc/docs/users_guide/users_guide.xml')
| -rw-r--r-- | ghc/docs/users_guide/users_guide.xml | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/ghc/docs/users_guide/users_guide.xml b/ghc/docs/users_guide/users_guide.xml deleted file mode 100644 index 740e729b72..0000000000 --- a/ghc/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> |