===========================================================
                                      .___ __  __   
          _________________  __ __  __| _/|__|/  |_ 
         / ___\_` __ \__  \ |  |  \/ __ | | \\_  __\
        / /_/  >  | \// __ \|  |  / /_/ | |  ||  |  
        \___  /|__|  (____  /____/\____ | |__||__|  
       /_____/            \/           \/           
              grep rough audit - static analysis tool
                  v2.8 written by @Wireghoul
=================================[justanotherhacker.com]===
menhir-20200624/coq-menhirlib/src/Makefile.coq-122-%.vo: %.vio
menhir-20200624/coq-menhirlib/src/Makefile.coq:123:	@echo "Compiling `basename $*`..."
menhir-20200624/coq-menhirlib/src/Makefile.coq-124-	set -o pipefail; ( \
##############################################
menhir-20200624/coq-menhirlib/src/Makefile.coq-135-%.vio: %.v
menhir-20200624/coq-menhirlib/src/Makefile.coq:136:	@echo "Digesting `basename $*`..."
menhir-20200624/coq-menhirlib/src/Makefile.coq-137-	rm -f $*.vo
##############################################
menhir-20200624/coq-menhirlib/src/Makefile.coq-140-%.vq: %.vio
menhir-20200624/coq-menhirlib/src/Makefile.coq:141:	@echo "Checking `basename $*`..."
menhir-20200624/coq-menhirlib/src/Makefile.coq-142-	set -o pipefail; ( \
##############################################
menhir-20200624/coq-menhirlib/src/Makefile.coq-151-%.vo: %.v
menhir-20200624/coq-menhirlib/src/Makefile.coq:152:	@echo "Compiling `basename $*`..."
menhir-20200624/coq-menhirlib/src/Makefile.coq-153-	$(COQC) $(COQINCLUDE) $<
##############################################
menhir-20200624/coq-menhirlib/src/Makefile.coq-200-clean::
menhir-20200624/coq-menhirlib/src/Makefile.coq:201:	for d in `find $(ROOTDIR) -type d -not -regex ".*\\.git.*"` ; do \
menhir-20200624/coq-menhirlib/src/Makefile.coq-202-	  (cd $$d && \
##############################################
menhir-20200624/doc/new-rule-syntax-summary.md-77-
menhir-20200624/doc/new-rule-syntax-summary.md:78:`$1`, `$2`, etc. are forbidden. Semantic values must be named.
menhir-20200624/doc/new-rule-syntax-summary.md-79-A semantic value can be named either explicitly or via a `~` pattern.