Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Try to improve overall manual page typesetting #2728

Merged
merged 11 commits into from
Jul 25, 2024
Merged

Try to improve overall manual page typesetting #2728

merged 11 commits into from
Jul 25, 2024

Commits on Jul 16, 2024

  1. common-options: capitalize first sentences

    Tristan Riehs committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    fab36e2 View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2024

  1. mu-man: improve typesetting of synopses

    Tristan Riehs committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    f1a2153 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2024

  1. mu-man: use more bold text 

    Make occurences of "mu", small commands such as "mu init", and
command-line arguments bold.
    Tristan Riehs committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    96f8729 View commit details
    Browse the repository at this point in the history

Commits on Jul 22, 2024

  1. mu-man: add macro for referencing manual pages

    Tristan Riehs committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    d2ec175 View commit details
    Browse the repository at this point in the history

  2. mu-man: improve typesetting of references 

    Try to stick to the man-pages(7) standard.
    Tristan Riehs committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    dcc3807 View commit details
    Browse the repository at this point in the history

  3. mu-man: fix the BUGS section of mu-view

    Tristan Riehs committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    b09ac79 View commit details
    Browse the repository at this point in the history

  4. mu-man: typeset reference in included file

    Tristan Riehs committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    ec42817 View commit details
    Browse the repository at this point in the history

  5. mu-man: include whole prefooter in mu-view

    Tristan Riehs committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    5ed773a View commit details
    Browse the repository at this point in the history

  6. mu-man: delete suspicious words

    Tristan Riehs committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    d46b428 View commit details
    Browse the repository at this point in the history

  7. mu-man: typeset file names using underlining 

    Make the emphasis more consistent, and do it using underscores in
Org documents, since verbatim is rendered as underlined anyway.
    Tristan Riehs committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    cee4823 View commit details
    Browse the repository at this point in the history

  8. mu-man: typeset option values differently 

    Use underlining only, do not use <>, as it is the most often done.
    Tristan Riehs committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    547cc4c View commit details
    Browse the repository at this point in the history