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

Add help target to the makefile #10608

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Add help target to the makefile #10608

wants to merge 1 commit into from
+31 −19

Commits on Dec 2, 2024

  1. Add a PHONY help target 

    - Add comments for users-guide* targets
- Comment tags target
- Add comment for checks
- Comment doctesting and ghcid
- Add help-banner target
- Add comments to all, lib and exe targets
- Add full stops to the help comments
- Manual fix-whitespace
    @philderbeast
    philderbeast committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    cf22b10 View commit details
    Browse the repository at this point in the history