diff options
| author | John Ankarström <john@ankarstrom.se> | 2020-11-11 11:32:37 +0100 |
|---|---|---|
| committer | John Ankarström <john@ankarstrom.se> | 2020-11-11 11:32:37 +0100 |
| commit | dab6c180bf966c495bf7f06ff355fe1d9c82c4ce (patch) | |
| tree | 38c70105b2d5448e9cb7744074b64f9037a09ff5 /Makefile | |
| parent | dfd1ec7d1500eeae1981cd5d0e03e1d97d705fe8 (diff) | |
| download | rf-dab6c180bf966c495bf7f06ff355fe1d9c82c4ce.tar.gz | |
regenerate manual (add performance info)
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,2 +1,2 @@ index.html: ../master/rf.1 - man -T html -O fragment $< > $@ + man -T html -O fragment $< | sed 's/<a class="permalink"/& style="color: black; text-decoration: none;"/;s/<h2/<h3/;s/<h1/<h2/;s </h2 </h3 ;s </h1 </h2 ' > $@ |