diff options
| author | Rickard Green <[email protected]> | 2016-05-23 14:56:05 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2016-05-25 11:30:54 +0200 |
| commit | 69d0c932c7d4a2bc3ce65c9c6d6aa54b23e803c3 (patch) | |
| tree | 15c7f43089e2aef3920268d19fb91d5b3c4d3382 /HOWTO/INSTALL-WIN32.md | |
| parent | ad9ff167ab254993597ffaa84256bac0bdf5520e (diff) | |
| download | otp-69d0c932c7d4a2bc3ce65c9c6d6aa54b23e803c3.tar.gz otp-69d0c932c7d4a2bc3ce65c9c6d6aa54b23e803c3.tar.bz2 otp-69d0c932c7d4a2bc3ce65c9c6d6aa54b23e803c3.zip | |
Adjust generated XML so it respects current DTD
Diffstat (limited to 'HOWTO/INSTALL-WIN32.md')
| -rw-r--r-- | HOWTO/INSTALL-WIN32.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/HOWTO/INSTALL-WIN32.md b/HOWTO/INSTALL-WIN32.md index 067c939d7a..d7be255e9f 100644 --- a/HOWTO/INSTALL-WIN32.md +++ b/HOWTO/INSTALL-WIN32.md @@ -60,7 +60,8 @@ followed by some FAQ, and then we’ll go into more details of the setup. Short Version --------------------------- +------------- + In the following sections, we've described as much as we could about the installation of the tools needed. Once the tools are installed, building is quite easy. We have also tried to make these instructions understandable |