===========================================================
.___ __ __
_________________ __ __ __| _/|__|/ |_
/ ___\_` __ \__ \ | | \/ __ | | \\_ __\
/ /_/ > | \// __ \| | / /_/ | | || |
\___ /|__| (____ /____/\____ | |__||__|
/_____/ \/ \/
grep rough audit - static analysis tool
v2.8 written by @Wireghoul
=================================[justanotherhacker.com]===
coq-doc-8.6/dev/tools/Makefile.dir-11-# this complicated thing should work for subsubdirs as well
coq-doc-8.6/dev/tools/Makefile.dir:12:BASEDIR=$(shell (dir=`pwd`; cd $(TOPDIR); top=`pwd`; echo $$dir | sed -e "s|$$top/||"))
coq-doc-8.6/dev/tools/Makefile.dir-13-
##############################################
coq-doc-8.6/dev/tools/Makefile.dir-29- @( ( for i in *.ml; do \
coq-doc-8.6/dev/tools/Makefile.dir:30: echo -n $(BASEDIR)/`basename $$i .ml`.cmo "" ; \
coq-doc-8.6/dev/tools/Makefile.dir-31- done; \
coq-doc-8.6/dev/tools/Makefile.dir-32- for i in *.ml4; do \
coq-doc-8.6/dev/tools/Makefile.dir:33: echo -n $(BASEDIR)/`basename $$i .ml4`.cmo "" ; \
coq-doc-8.6/dev/tools/Makefile.dir-34- done ) \
##############################################
coq-doc-8.6/dev/tools/Makefile.dir-39- @(for i in *.mli; do \
coq-doc-8.6/dev/tools/Makefile.dir:40: ls -l `basename $$i .mli`.cmi; \
coq-doc-8.6/dev/tools/Makefile.dir-41- done)
coq-doc-8.6/dev/tools/Makefile.dir-42- @(for i in *.ml; do \
coq-doc-8.6/dev/tools/Makefile.dir:43: ls -l `basename $$i .ml`.cmo; \
coq-doc-8.6/dev/tools/Makefile.dir-44- done)
coq-doc-8.6/dev/tools/Makefile.dir-45- @(for i in *.ml4; do \
coq-doc-8.6/dev/tools/Makefile.dir:46: ls -l `basename $$i .ml4`.cmo; \
coq-doc-8.6/dev/tools/Makefile.dir-47- done)
##############################################
coq-doc-8.6/dev/tools/Makefile.dir-75-depend.2.dot: depend.dot
coq-doc-8.6/dev/tools/Makefile.dir:76: (i=`cat $< | wc -l`; i=`expr $$i - 1`; head -n $$i $<) > $@
coq-doc-8.6/dev/tools/Makefile.dir-77- (for ml in *.ml; do \
coq-doc-8.6/dev/tools/Makefile.dir:78: base=`basename $$ml .ml`; \
coq-doc-8.6/dev/tools/Makefile.dir:79: fst=`echo $$base | cut -c1 | tr [:lower:] [:upper:]`; \
coq-doc-8.6/dev/tools/Makefile.dir:80: rest=`echo $$base | cut -c2-`; \
coq-doc-8.6/dev/tools/Makefile.dir:81: name=`echo $$fst $$rest | tr -d " "`; \
coq-doc-8.6/dev/tools/Makefile.dir-82- cmo=$$base.cmo; \
##############################################
coq-doc-8.6/dev/tools/Makefile.dir-103-%.ml.mli: FORCE
coq-doc-8.6/dev/tools/Makefile.dir:104: @(cmo=`basename $@ .ml.mli`.cmo ; \
coq-doc-8.6/dev/tools/Makefile.dir-105- mv -f $$cmo $$cmo.tmp ; \
##############################################
coq-doc-8.6/dev/tools/Makefile.dir-110-%.annot: FORCE
coq-doc-8.6/dev/tools/Makefile.dir:111: @(cmo=`basename $@ .annot`.cmo ; \
coq-doc-8.6/dev/tools/Makefile.dir-112- mv -f $$cmo $$cmo.tmp ; \
##############################################
coq-doc-8.6/dev/tools/change-header-15-
coq-doc-8.6/dev/tools/change-header:16:n=`wc -l $oldheader | sed -e "s/ *\([0-9]*\).*/\1/g"`
coq-doc-8.6/dev/tools/change-header:17:nsucc=`expr $n + 1`
coq-doc-8.6/dev/tools/change-header-18-
##############################################
coq-doc-8.6/dev/tools/change-header-25-for i in `find . -name \*.mli -o -name \*.ml -o -name \*.ml4 -o -name \*.mll -o -name \*.mly -o -name \*.mlp -o -name \*.v`; do
coq-doc-8.6/dev/tools/change-header:26: headline=`head -n 1 $i`
coq-doc-8.6/dev/tools/change-header:27: if `echo $headline | grep "(\* -\*- .* \*)" > /dev/null`; then
coq-doc-8.6/dev/tools/change-header-28- # Has emacs header
##############################################
coq-doc-8.6/dev/tools/change-header-30- hasheadline=1
coq-doc-8.6/dev/tools/change-header:31: nnext=`expr $nsucc + 1`
coq-doc-8.6/dev/tools/change-header-32- else
##############################################
coq-doc-8.6/dev/tools/change-header-46- mv $i.tmp$$ $i
coq-doc-8.6/dev/tools/change-header:47: modified=`expr $modified + 1`
coq-doc-8.6/dev/tools/change-header-48- else
coq-doc-8.6/dev/tools/change-header:49: kept=`expr $kept + 1`
coq-doc-8.6/dev/tools/change-header-50- fi
##############################################
coq-doc-8.6/dev/nsis/FileAssociation.nsh-78- !verbose ${_FileAssociation_VERBOSE}
coq-doc-8.6/dev/nsis/FileAssociation.nsh:79: Push `${_DESCRIPTION}`
coq-doc-8.6/dev/nsis/FileAssociation.nsh:80: Push `${_EXTENSION}`
coq-doc-8.6/dev/nsis/FileAssociation.nsh:81: Push `${_EXECUTABLE}`
coq-doc-8.6/dev/nsis/FileAssociation.nsh-82- ${CallArtificialFunction} RegisterExtension_
##############################################
coq-doc-8.6/dev/nsis/FileAssociation.nsh-88- !verbose ${_FileAssociation_VERBOSE}
coq-doc-8.6/dev/nsis/FileAssociation.nsh:89: Push `${_EXTENSION}`
coq-doc-8.6/dev/nsis/FileAssociation.nsh:90: Push `${_DESCRIPTION}`
coq-doc-8.6/dev/nsis/FileAssociation.nsh-91- ${CallArtificialFunction} UnRegisterExtension_
##############################################
coq-doc-8.6/dev/ocamldebug-coq.run-12-[ -z "$COQTOP" -a -d "$PWD/kernel" ] && COQTOP=$PWD
coq-doc-8.6/dev/ocamldebug-coq.run:13:[ -z "$COQTOP" -a -d "$PWD/../kernel" ] && COQTOP=`dirname $PWD`
coq-doc-8.6/dev/ocamldebug-coq.run-14-
##############################################
coq-doc-8.6/dev/build/windows/patches_coq/coq-8.4pl2.patch-3-@@ -335,7 +335,7 @@
coq-doc-8.6/dev/build/windows/patches_coq/coq-8.4pl2.patch:4: MAKEVERSION=`$MAKE -v | head -1 | cut -d" " -f3`
coq-doc-8.6/dev/build/windows/patches_coq/coq-8.4pl2.patch:5: MAKEVERSIONMAJOR=`echo $MAKEVERSION | cut -d. -f1`
coq-doc-8.6/dev/build/windows/patches_coq/coq-8.4pl2.patch:6: MAKEVERSIONMINOR=`echo $MAKEVERSION | cut -d. -f2`
coq-doc-8.6/dev/build/windows/patches_coq/coq-8.4pl2.patch-7-- if [ "$MAKEVERSIONMAJOR" -eq 3 -a "$MAKEVERSIONMINOR" -ge 81 ]; then
##############################################
coq-doc-8.6/dev/build/windows/patches_coq/lablgtk-2.18.3.patch-7-
coq-doc-8.6/dev/build/windows/patches_coq/lablgtk-2.18.3.patch:8:-if test "`$OCAMLFIND printconf stdlib`" != "`$CAMLC -where`"; then
coq-doc-8.6/dev/build/windows/patches_coq/lablgtk-2.18.3.patch:9:+if test "`$OCAMLFIND printconf stdlib | tr '\\' '/'`" != "`$CAMLC -where | tr '\\' '/'`"; then
coq-doc-8.6/dev/build/windows/patches_coq/lablgtk-2.18.3.patch-10- { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: Ignoring ocamlfind" >&5
##############################################
coq-doc-8.6/dev/build/windows/patches_coq/isl-0.14.patch-3-@@ -8134,7 +8134,7 @@
coq-doc-8.6/dev/build/windows/patches_coq/isl-0.14.patch:4: lt_sysroot=`$CC --print-sysroot 2>/dev/null`
coq-doc-8.6/dev/build/windows/patches_coq/isl-0.14.patch-5- fi
##############################################
coq-doc-8.6/dev/build/windows/patches_coq/isl-0.14.patch-8-+ /*|[A-Z]:\\*|[A-Z]:/*)
coq-doc-8.6/dev/build/windows/patches_coq/isl-0.14.patch:9: lt_sysroot=`echo "$with_sysroot" | sed -e "$sed_quote_subst"`
coq-doc-8.6/dev/build/windows/patches_coq/isl-0.14.patch-10- ;; #(
##############################################
coq-doc-8.6/dev/build/windows/patches_coq/StrRep.nsh-54-!macro StrRep output string old new
coq-doc-8.6/dev/build/windows/patches_coq/StrRep.nsh:55: Push `${string}`
coq-doc-8.6/dev/build/windows/patches_coq/StrRep.nsh:56: Push `${old}`
coq-doc-8.6/dev/build/windows/patches_coq/StrRep.nsh:57: Push `${new}`
coq-doc-8.6/dev/build/windows/patches_coq/StrRep.nsh-58- Call Func_StrRep
##############################################
coq-doc-8.6/dev/build/windows/difftar-folder.sh-49-if [ "$strip" -gt 0 ] ; then
coq-doc-8.6/dev/build/windows/difftar-folder.sh:50: prefix=`tar -t -f $tarfile | head -1`
coq-doc-8.6/dev/build/windows/difftar-folder.sh-51-else
##############################################
coq-doc-8.6/dev/build/windows/makecoq_mingw.sh-769- # D:\bin\coq64_buildtest_abs_ocaml4\bin>ocamlc -where => D:/bin/coq64_buildtest_abs_ocaml4/libocaml
coq-doc-8.6/dev/build/windows/makecoq_mingw.sh:770: # D:\bin\coq64_buildtest_abs_ocaml4\bin>camlp4 -where => ${PREFIX}/libocaml\camlp4
coq-doc-8.6/dev/build/windows/makecoq_mingw.sh-771- # So we put an explicit path in there
##############################################
coq-doc-8.6/dev/build/windows/makecoq_mingw.sh-1173- local ARCHIVEESC=${ARCHIVE//+/\\+}
coq-doc-8.6/dev/build/windows/makecoq_mingw.sh:1174: local SOURCE=`egrep -A 1 "install: ($CYGWINARCH|noarch)/release/[-+_/a-z0-9]*$ARCHIVEESC" $TARBALLS/setup.ini | tail -1 | cut -d " " -f 2`
coq-doc-8.6/dev/build/windows/makecoq_mingw.sh-1175- local SOURCEFILE=${SOURCE##*/}
##############################################
coq-doc-8.6/dev/doc/changes.txt-129-
coq-doc-8.6/dev/doc/changes.txt:130: with the `msg_*` functions being just an alias for `logger $Level`.
coq-doc-8.6/dev/doc/changes.txt-131-
##############################################
coq-doc-8.6/install.sh-6-for f; do
coq-doc-8.6/install.sh:7: bn=`basename $f`
coq-doc-8.6/install.sh:8: dn=`dirname $f`
coq-doc-8.6/install.sh-9- install -d "$dest/$dn"
##############################################
coq-doc-8.6/test-suite/Makefile-152- $(call summary_dir, "Coqchk tests", coqchk); \
coq-doc-8.6/test-suite/Makefile:153: nb_success=`find . -name '*.log' -exec tail -n2 '{}' \; | grep -e $(log_success) | wc -l`; \
coq-doc-8.6/test-suite/Makefile:154: nb_failure=`find . -name '*.log' -exec tail -n2 '{}' \; | grep -e $(log_failure) | wc -l`; \
coq-doc-8.6/test-suite/Makefile:155: nb_tests=`expr $$nb_success + $$nb_failure`; \
coq-doc-8.6/test-suite/Makefile:156: pourcentage=`expr 100 \* $$nb_success / $$nb_tests`; \
coq-doc-8.6/test-suite/Makefile-157- echo; \
##############################################
coq-doc-8.6/test-suite/Makefile-358- true "extract effective user time"; \
coq-doc-8.6/test-suite/Makefile:359: res=`$(call get_command_based_on_flags,"$<") "$<" $(call get_coq_prog_args,"$<") 2>&1 | sed -n -e "s/Finished transaction in .*(\([0-9]*\.[0-9]*\)u.*)/\1/p" | head -1`; \
coq-doc-8.6/test-suite/Makefile-360- R=$$?; times; \
##############################################
coq-doc-8.6/test-suite/Makefile-368- true "express effective time in centiseconds"; \
coq-doc-8.6/test-suite/Makefile:369: res=`echo "$$res"00 | sed -n -e "s/\([0-9]*\)\.\([0-9][0-9]\).*/\1\2/p"`; \
coq-doc-8.6/test-suite/Makefile-370- true "find expected time * 100"; \
coq-doc-8.6/test-suite/Makefile:371: exp=`sed -n -e "s/(\*.*Expected time < \([0-9]\).\([0-9][0-9]\)s.*\*)/\1\2/p" "$<"`; \
coq-doc-8.6/test-suite/Makefile:372: ok=`expr \( $$res \* $(bogomips) \) "<" \( $$exp \* 6120 \)`; \
coq-doc-8.6/test-suite/Makefile-373- if [ "$$ok" = 1 ]; then \
##############################################
coq-doc-8.6/test-suite/Makefile-465- mv universes.txt misc/universes; \
coq-doc-8.6/test-suite/Makefile:466: N=`awk '{print $$3}' misc/universes/universes.txt | sort -u | wc -l`; \
coq-doc-8.6/test-suite/Makefile-467- times; \
##############################################
coq-doc-8.6/Makefile.doc-123-%.ps: %.dvi
coq-doc-8.6/Makefile.doc:124: (cd `dirname $<`; $(DVIPS) -q -o `basename $@` `basename $<`)
coq-doc-8.6/Makefile.doc-125-
##############################################
coq-doc-8.6/Makefile.doc-130- $(FIG2DEV) -L pdftex $< $@
coq-doc-8.6/Makefile.doc:131: $(FIG2DEV) -L pdftex_t -p `basename $@` $< $@_t
coq-doc-8.6/Makefile.doc-132-
##############################################
coq-doc-8.6/Makefile.doc-134- $(FIG2DEV) -L pstex $< $@
coq-doc-8.6/Makefile.doc:135: $(FIG2DEV) -L pstex_t -p `basename $@` $< $@_t
coq-doc-8.6/Makefile.doc-136-
##############################################
coq-doc-8.6/tools/check-translate-14-do
coq-doc-8.6/tools/check-translate:15: mkdir ../theories/`dirname $i` >& /dev/null
coq-doc-8.6/tools/check-translate-16- mv "$i"8 ../theories/$i
##############################################
coq-doc-8.6/tools/coq_makefile.ml-219- print "; do \\\n";
coq-doc-8.6/tools/coq_makefile.ml:220: printf "\t install -d \"`dirname \"$(DSTROOT)\"$(COQLIBINSTALL)/%s/$$i`\"; \\\n" pdir';
coq-doc-8.6/tools/coq_makefile.ml-221- printf "\t install -m %s $$i \"$(DSTROOT)\"$(COQLIBINSTALL)/%s/$$i; \\\n" perms pdir';
##############################################
coq-doc-8.6/tools/coq_makefile.ml-231- print "; do \\\n";
coq-doc-8.6/tools/coq_makefile.ml:232: printf "\t install -m %s $$i \"$(DSTROOT)\"$(COQLIBINSTALL)/%s/`basename $$i`; \\\n" perms d;
coq-doc-8.6/tools/coq_makefile.ml-233- printf "\tdone\n"
##############################################
coq-doc-8.6/tools/coq_makefile.ml-254- print_list " " (List.rev_map (Format.sprintf "$(%sINC)") l);
coq-doc-8.6/tools/coq_makefile.ml:255: print "; do rm -f \"`basename \"$$i\"`\"; done"
coq-doc-8.6/tools/coq_makefile.ml-256- in function
##############################################
coq-doc-8.6/tools/coq_makefile.ml-786- print "all.ps: $(VFILES)\n";
coq-doc-8.6/tools/coq_makefile.ml:787: print "\t$(COQDOC) -toc $(COQDOCFLAGS) -ps $(COQDOCLIBS) -o $@ `$(COQDEP) -sort -suffix .v $^`\n\n";
coq-doc-8.6/tools/coq_makefile.ml-788- print "all-gal.ps: $(VFILES)\n";
coq-doc-8.6/tools/coq_makefile.ml:789: print "\t$(COQDOC) -toc $(COQDOCFLAGS) -ps -g $(COQDOCLIBS) -o $@ `$(COQDEP) -sort -suffix .v $^`\n\n";
coq-doc-8.6/tools/coq_makefile.ml-790- print "all.pdf: $(VFILES)\n";
coq-doc-8.6/tools/coq_makefile.ml:791: print "\t$(COQDOC) -toc $(COQDOCFLAGS) -pdf $(COQDOCLIBS) -o $@ `$(COQDEP) -sort -suffix .v $^`\n\n";
coq-doc-8.6/tools/coq_makefile.ml-792- print "all-gal.pdf: $(VFILES)\n";
coq-doc-8.6/tools/coq_makefile.ml:793: print "\t$(COQDOC) -toc $(COQDOCFLAGS) -pdf -g $(COQDOCLIBS) -o $@ `$(COQDEP) -sort -suffix .v $^`\n\n";
coq-doc-8.6/tools/coq_makefile.ml-794- print "validate: $(VOFILES)\n";
##############################################
coq-doc-8.6/tools/update-require-18- if test ${COQBIN##*/}; then COQBIN=$COQBIN/; fi
coq-doc-8.6/tools/update-require:19: if test ! "$COQC"; then COQC=`which ${COQBIN}coqc`; fi
coq-doc-8.6/tools/update-require:20: COQLIB=`"$COQC" -where`
coq-doc-8.6/tools/update-require-21-fi
##############################################
coq-doc-8.6/tools/beautify-archive-28-echo -------- Upgrading files in the beautification directory --------------
coq-doc-8.6/tools/beautify-archive:29:beaufiles=`find . -name \*.v$BEAUTIFYSUFFIX`
coq-doc-8.6/tools/beautify-archive-30-for i in $beaufiles; do
coq-doc-8.6/tools/beautify-archive:31: j=`dirname $i`/`basename $i .v$BEAUTIFYSUFFIX`.v
coq-doc-8.6/tools/beautify-archive-32- echo Upgrading $j in the beautification directory
##############################################
coq-doc-8.6/configure-28-
coq-doc-8.6/configure:29:`$cmd -version > /dev/null 2>&1` && exec $cmd $script "$@"
coq-doc-8.6/configure-30-
##############################################
coq-doc-8.6/Makefile.checker-77- $(SHOW)'MD5SUM cic.mli'
coq-doc-8.6/Makefile.checker:78: $(HIDE)if grep -q `$(MD5SUM) checker/cic.mli` checker/values.ml; \
coq-doc-8.6/Makefile.checker-79- then true; else echo "Error: outdated checker/values.ml"; false; fi
##############################################
coq-doc-8.6/doc/stdlib/make-library-index-15- i=theories/$k
coq-doc-8.6/doc/stdlib/make-library-index:16: d=`basename $i`
coq-doc-8.6/doc/stdlib/make-library-index-17- ls $i | grep -q \.v'$'
##############################################
coq-doc-8.6/doc/stdlib/make-library-index-19- for j in $i/*.v; do
coq-doc-8.6/doc/stdlib/make-library-index:20: b=`basename $j .v`
coq-doc-8.6/doc/stdlib/make-library-index-21- rm -f tmp2
##############################################
coq-doc-8.6/doc/stdlib/make-library-index-29- else
coq-doc-8.6/doc/stdlib/make-library-index:30: p=`echo $k | sed 's:/:.:g'`
coq-doc-8.6/doc/stdlib/make-library-index-31- sed -e "s:theories/$k/$b.v:<a href=\"Coq.$p.$b.html\">$b</a>:g" tmp > tmp2
##############################################
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex-461-When the parameter $i$ is not supplied, the tactic \texttt{constructor}
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex:462:tries to apply ``~\texttt{constructor $1$}~'', ``~\texttt{constructor $2$}~'',\dots,
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex-463-``~\texttt{constructor $n$}~'' where $n$ is the number of constructors
##############################################
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex-529-$x$; the constructor for the predicate
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex:530:``$x$ is accessible'' takes an argument of type ``$y$ is accessible''.
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex-531-
##############################################
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex-727-which is written \texttt{sig $P$}. The syntax
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex:728:``~\citecoq{\{$x$:$A$ | $B$\}}~'' is an abreviation for ``~\citecoq{sig (fun $x$:$A$ {\funarrow} $B$)}~''.
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex-729-
##############################################
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex-1048-
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex:1049:The proposition ``~\citecoq{not $A$}~'' is also written ``~$\neg A$~''.
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex-1050-
##############################################
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex-1079-$a=b$. Non dependent case analysis of $\pi$ allows us to
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex:1080:associate to any proof of ``~$Q\;a$~'' a proof of ``~$Q\;b$~'',
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex-1081-where $Q:A\arrow{} s$ (where $s\in\{\Prop, \Set, \Type\}$).
##############################################
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex-1141-in which sense the equality must be rewritten. By default,
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex:1142:``~\texttt{rewrite} $H$~'' corresponds to ``~\texttt{rewrite \arrow{}} $H$~''
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex-1143-\begin{alltt}
##############################################
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex-2127-\noindent What is necessary here is to make available the equalities
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex:2128:``~$\SUCC\;n = \Z$~'' and ``~$\SUCC\;m = \Z$~''
coq-doc-8.6/doc/RecTutorial/RecTutorial.tex-2129- as extra hypotheses of the
##############################################
coq-doc-8.6/doc/tools/latex_filter-34- "(./"*)
coq-doc-8.6/doc/tools/latex_filter:35: file="(file `echo $line | cut -b 4- | cut -d' ' -f 1`)"
coq-doc-8.6/doc/tools/latex_filter-36- verbose=0
##############################################
coq-doc-8.6/doc/tools/latex_filter-40- esac;
coq-doc-8.6/doc/tools/latex_filter:41: if [ "$i" = "0" ]; then break; else i=`expr $i - 1`; fi;
coq-doc-8.6/doc/tools/latex_filter-42-done
##############################################
coq-doc-8.6/doc/tools/show_latex_messages-3-if [ "$1" = "-no-overfull" ]; then
coq-doc-8.6/doc/tools/show_latex_messages:4: cat $2 | ../tools/latex_filter `cat $2 | wc -l` no
coq-doc-8.6/doc/tools/show_latex_messages-5-else
coq-doc-8.6/doc/tools/show_latex_messages:6: cat $1 | ../tools/latex_filter `cat $1 | wc -l` yes
coq-doc-8.6/doc/tools/show_latex_messages-7-fi