diff options
| author | Diego Trevino Ferrer <diegof30@gmail.com> | 2019-08-09 21:48:47 +0000 |
|---|---|---|
| committer | Diego Trevino Ferrer <diegof30@gmail.com> | 2019-08-09 21:48:47 +0000 |
| commit | 72f996e4d90c9a10065386bdf79d2f100fd2bf2c (patch) | |
| tree | 974419970d3a50e41770aa11b17bd459ecf19519 /llvm/docs | |
| parent | 5ef4b190d9910fa6bfbd7406ea6629b53e4e8d79 (diff) | |
| download | bcm5719-llvm-72f996e4d90c9a10065386bdf79d2f100fd2bf2c.tar.gz bcm5719-llvm-72f996e4d90c9a10065386bdf79d2f100fd2bf2c.zip | |
[Bugpoint redesign] Fix nonlocal URI link in doc
Summary: Fixes documentation bot build http://lab.llvm.org:8011/builders/llvm-sphinx-docs
Reviewers: JDevlieghere
Subscribers: llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D66022
llvm-svn: 368493
Diffstat (limited to 'llvm/docs')
| -rw-r--r-- | llvm/docs/BugpointRedesign.md | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/llvm/docs/BugpointRedesign.md b/llvm/docs/BugpointRedesign.md index 98a271f2f92..bac3a1f744d 100644 --- a/llvm/docs/BugpointRedesign.md +++ b/llvm/docs/BugpointRedesign.md @@ -95,11 +95,8 @@ at all. ### "Quirky" Interface Bugpoint’s current interface overwhelms and confuses the user, the help screen -alone ends up confusing rather providing guidance, as seen below: - - - -And, not only are there numerous features and options, but some of them also -work in unexpected ways and most of the time the user ends up using a custom -script. Pruning and simplifying the interface will be worth considering in -order to make the tool more useful in the general case and easier to maintain. +alone ends up confusing rather providing guidance. And, not only are there +numerous features and options, but some of them also work in unexpected ways +and most of the time the user ends up using a custom script. Pruning and +simplifying the interface will be worth considering in order to make the tool +more useful in the general case and easier to maintain. |
