Skip to content

Remove non-HTML documentation setup #91

Description

@tobinus

Only the HTML documentation is used and supported, so at least the man page version can be removed. Perhaps consider removing the PDF version, depending on how well it works right now. This should help simplify the documentation setup, especially in the Makefile, which includes targets which I have no idea whether works or not.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    organizationalThis does not involve code or doc changes

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions