You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Generate table of contents for GREPs. Introduce a make target to help authors to generate TOC.
Introduce a make target to verify TOC for all GREPs is up-to-date and additionally add this target to make check which is run upon every commit done to a PR.
What you would like to be added?
Add capability to:
make checkwhich is run upon every commit done to a PR.Why is this needed?
TOC for GREPs provide easy navigability.