Skip to content

PMLC: Add Opts to Launch Manuals #77

@tajmone

Description

@tajmone

Christian, it would be nice to have dedicated options in PMLC to open up a bundled version of the PML Reference Manual and PML User Manual, respectively, which always matches the PMLC version.

Since the online version of these docs don't always match the latest release, and because end users might be sticking to a specific (older) version of PML for their work, it would be a great service to grant quick access to local copies of the docs, matching the exact PMLC version being used.

I'm aware that the PML package does contain the PML Reference Manual sources (but not the PML User Manual) and that users could build the document themselves in a few steps, but having a PMLC option to open up both docs in the browser would be a much easier way to go about it.

Something like:

pmlc userman
pmlc refman

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions