Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Manual: minimal documentation for compiler plugins #1187
This PR adds a new chapter to the tool part of the manual in order to provide some minimal documentation on the new plugins infrastrucutre (beyond the laconic mention in the man pages).
Currently, the proposed documentation only contains a brief description of the available hooks in the compiler and a basic "hello world" plugin. This is still a very basic starting point, so I am open to any improvement propositions.
@Drup, good idea, thanks for the suggestion:
I have added links or references to the
I have also pulled the