Skip to content

Conversation

tripleee
Copy link
Contributor

@tripleee tripleee commented Nov 24, 2020

Closes #2883, add make as an alias for Makefile

Changes

Add the alias and include it in SUPPORTED_LANGUAGES.md

Checklist

  • Added markup tests, or they don't apply here because...
  • Updated the changelog at CHANGES.md
  • Added myself to AUTHORS.txt, under Contributors

@joshgoebel joshgoebel merged commit 1166e68 into highlightjs:master Nov 25, 2020
@joshgoebel
Copy link
Member

@tripleee thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Please allow "make" as alias for "makefile"
2 participants