diff options
Diffstat (limited to 'Documentation/README')
| -rw-r--r-- | Documentation/README | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/Documentation/README b/Documentation/README deleted file mode 100644 index dd40351..0000000 --- a/Documentation/README +++ /dev/null | |||
| @@ -1,7 +0,0 @@ | |||
| 1 | The "original" document is the Docbook file "manual.xml" -- all other | ||
| 2 | files here are derived from it. | ||
| 3 | |||
| 4 | To read the HTML docs, open manual.html in your browser. | ||
| 5 | |||
| 6 | To generate other formats of the documentation use xmlto or your favorite | ||
| 7 | xslt docbook converter to convert the xml file. | ||
