Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
jberryman
GHC
Commits
4c467d13
Commit
4c467d13
authored
Aug 28, 2010
by
Ian Lynagh
Browse files
users_guide.xml is now generated
parent
02c65155
Changes
1
Hide whitespace changes
Inline
Side-by-side
docs/users_guide/users_guide.xml
deleted
100644 → 0
View file @
02c65155
<?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>
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment