Differential D18963

[website] Build the man pages for iguana and the proof-manager-cli
ClosedPublic
Actions

Authored by Fabien on Wed, Nov 19, 10:04.

Details

Reviewers

PiRK

Group Reviewers

Restricted Project

Commits

rABCWEB337c6cb67c02: [website] Build the man pages for iguana and the proof-manager-cli

Summary

After D18961 we have the target to build the man pages for these new tools. Let's build them so they get added to the online documentation.

Test Plan

Tested locally by heavily massaging the script so it runs against my local tree that include the man page target.

Diff Detail

Repository

rABCWEB Bitcoin ABC Website

Branch

man_iguana_pmcli

Lint

No Lint Coverage

Unit

No Test Coverage

Build Status

Buildable 35110
Build 69678: arc lint + arc unit

Event Timeline

Fabien created this revision.Wed, Nov 19, 10:04

Herald added a reviewer: Restricted Project. · View Herald TranscriptWed, Nov 19, 10:04

Fabien requested review of this revision.Wed, Nov 19, 10:04

Harbormaster completed remote builds in B35110: Diff 56671.Wed, Nov 19, 10:04

PiRK accepted this revision.Wed, Nov 19, 10:16

This revision is now accepted and ready to land.Wed, Nov 19, 10:16

Closed by commit rABCWEB337c6cb67c02: [website] Build the man pages for iguana and the proof-manager-cli (authored by Fabien). · Explain WhyWed, Nov 19, 10:17

This revision was automatically updated to reflect the committed changes.

Fabien added a commit: rABCWEB337c6cb67c02: [website] Build the man pages for iguana and the proof-manager-cli.

Revision Contents
Changeset List

Path

Size

scripts/

fetch_documentation.sh

14 lines

Diff 56671

View Options

scripts/fetch_documentation.sh

[website] Build the man pages for iguana and the proof-manager-cliClosedPublicActions