| /src/external/lgpl3/mpfr/dist/doc/ |
| check-typography | 16 # Note: The default Texinfo rules are heuristics allowing one to get
28 (Texinfo manual: Section 12.3.2 "Not Ending a Sentence").
30 (Texinfo manual: Section 12.3.3 "Ending a Sentence").
|
| /src/external/mit/libcbor/dist/doc/ |
| Makefile | 40 @echo " texinfo to make Texinfo files"
41 @echo " info to make Texinfo files and run them through makeinfo"
135 texinfo:
136 $(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo
138 @echo "Build finished. The Texinfo files are in $(BUILDDIR)/texinfo."
143 $(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo
[all...] |
| make.bat | 33 echo. texinfo to make Texinfo files
184 if "%1" == "texinfo" (
185 %SPHINXBUILD% -b texinfo %ALLSPHINXOPTS% %BUILDDIR%/texinfo
188 echo.Build finished. The Texinfo files are in %BUILDDIR%/texinfo.
|
| /src/external/mit/libuv/dist/docs/ |
| Makefile | 43 @echo " texinfo to make Texinfo files"
44 @echo " info to make Texinfo files and run them through makeinfo"
141 texinfo:
142 $(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo
144 @echo "Build finished. The Texinfo files are in $(BUILDDIR)/texinfo."
149 $(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(BUILDDIR)/texinfo
[all...] |
| make.bat | 34 echo. texinfo to make Texinfo files
185 if "%1" == "texinfo" (
186 %SPHINXBUILD% -b texinfo %ALLSPHINXOPTS% %BUILDDIR%/texinfo
189 echo.Build finished. The Texinfo files are in %BUILDDIR%/texinfo.
|
| /src/external/gpl3/gdb/dist/readline/readline/doc/ |
| texi2dvi | 2 # texi2dvi --- produce DVI (or PDF) files from Texinfo (or (La)TeX) sources.
21 # Please send bug reports, etc. to bug-texinfo@gnu.org.
61 txiprereq=19990129 # minimum texinfo.tex version with macro expansion
114 Run each Texinfo or (La)TeX FILE through TeX in turn until all
117 is used to determine its language ((La)TeX or Texinfo). To process
145 -I DIR search DIR for Texinfo files
146 -l, --language=LANG specify LANG for FILE, either latex or texinfo
183 If Texinfo is installed on your site, then the command
189 Report bugs to bug-texinfo@gnu.org,
190 general questions and discussion to help-texinfo@gnu.org
[all...] |
| /src/external/gpl3/gdb.old/dist/readline/readline/doc/ |
| texi2dvi | 2 # texi2dvi --- produce DVI (or PDF) files from Texinfo (or (La)TeX) sources.
21 # Please send bug reports, etc. to bug-texinfo@gnu.org.
61 txiprereq=19990129 # minimum texinfo.tex version with macro expansion
114 Run each Texinfo or (La)TeX FILE through TeX in turn until all
117 is used to determine its language ((La)TeX or Texinfo). To process
145 -I DIR search DIR for Texinfo files
146 -l, --language=LANG specify LANG for FILE, either latex or texinfo
183 If Texinfo is installed on your site, then the command
189 Report bugs to bug-texinfo@gnu.org,
190 general questions and discussion to help-texinfo@gnu.org
[all...] |
| /src/external/apache2/llvm/dist/clang/docs/analyzer/ |
| make.bat | 33 echo. texinfo to make Texinfo files
148 if "%1" == "texinfo" (
149 %SPHINXBUILD% -b texinfo %ALLSPHINXOPTS% %BUILDDIR%/texinfo
152 echo.Build finished. The Texinfo files are in %BUILDDIR%/texinfo.
|
| /src/external/apache2/llvm/dist/clang/docs/ |
| make.bat | 33 echo. texinfo to make Texinfo files
148 if "%1" == "texinfo" (
149 %SPHINXBUILD% -b texinfo %ALLSPHINXOPTS% %BUILDDIR%/texinfo
152 echo.Build finished. The Texinfo files are in %BUILDDIR%/texinfo.
|
| /src/external/apache2/llvm/dist/llvm/docs/ |
| make.bat | 33 echo. texinfo to make Texinfo files
148 if "%1" == "texinfo" (
149 %SPHINXBUILD% -b texinfo %ALLSPHINXOPTS% %BUILDDIR%/texinfo
152 echo.Build finished. The Texinfo files are in %BUILDDIR%/texinfo.
|
| /src/external/gpl2/gettext/dist/gettext-runtime/man/ |
| help2man | 51 -N, --no-info suppress pointer to Texinfo manual
471 is maintained as a Texinfo manual. If the
|
| /src/external/gpl2/gettext/dist/gettext-tools/man/ |
| help2man | 51 -N, --no-info suppress pointer to Texinfo manual
471 is maintained as a Texinfo manual. If the
|
| /src/external/gpl2/texinfo/dist/util/ |
| fix-info-dir | 2 #fix-info-dir (GNU texinfo)
58 fix-info-dir (GNU Texinfo) $VERSION
83 Email bug reports to bug-texinfo@gnu.org.
|
| texi2dvi | 2 # texi2dvi --- produce DVI (or PDF) files from Texinfo (or LaTeX) sources.
25 # Please send bug reports, etc. to bug-texinfo@gnu.org.
33 version="texi2dvi (GNU Texinfo 4.8) $rcs_version
42 Run each Texinfo or LaTeX FILE through TeX in turn until all
45 is used to determine its language (LaTeX or Texinfo).
47 Makeinfo is used to perform Texinfo macro expansion before running TeX
63 -@ use @input instead of \input; for preloaded Texinfo
65 -I DIR search DIR for Texinfo files
66 -l, --language=LANG specify the LANG of FILE (LaTeX or Texinfo)
70 or --texinfo=CMD multiple values accumulat
[all...] |
| /src/external/gpl2/send-pr/dist/send-pr/ |
| send-pr.sh | 329 SEND-PR: Please consult the send-pr man page `send-pr(1)' or the Texinfo
|
| /src/external/bsd/am-utils/dist/doc/ |
| texinfo.tex | 1 % texinfo.tex -- TeX macros to handle Texinfo files.
12 % This texinfo.tex file is free software: you can redistribute it and/or
17 % This texinfo.tex file is distributed in the hope that it will be
26 % a Texinfo source document, you may use the result without
30 % Please try the latest version of texinfo.tex before submitting bug
32 % http://ftp.gnu.org/gnu/texinfo/ (the Texinfo release area), or
33 % http://ftpmirror.gnu.org/texinfo/ (same, via a mirror), or
34 % http://www.gnu.org/software/texinfo/ (the Texinfo home page
[all...] |
| /src/external/bsd/flex/dist/build-aux/ |
| texinfo.tex | 1 % texinfo.tex -- TeX macros to handle Texinfo files.
12 % This texinfo.tex file is free software: you can redistribute it and/or
17 % This texinfo.tex file is distributed in the hope that it will be
26 % a Texinfo source document, you may use the result without
30 % Please try the latest version of texinfo.tex before submitting bug
32 % http://ftp.gnu.org/gnu/texinfo/ (the Texinfo release area), or
33 % http://ftpmirror.gnu.org/texinfo/ (same, via a mirror), or
34 % http://www.gnu.org/software/texinfo/ (the Texinfo home page
[all...] |
| /src/external/gpl3/gcc.old/dist/gcc/doc/include/ |
| texinfo.tex | 1 % texinfo.tex -- TeX macros to handle Texinfo files.
12 % This texinfo.tex file is free software: you can redistribute it and/or
17 % This texinfo.tex file is distributed in the hope that it will be
26 % a Texinfo source document, you may use the result without
27 % restriction. (This has been our intent since Texinfo was invented.)
29 % Please try the latest version of texinfo.tex before submitting bug
31 % http://ftp.gnu.org/gnu/texinfo/ (the Texinfo release area), or
32 % http://ftpmirror.gnu.org/texinfo/ (same, via a mirror), o
[all...] |
| /src/external/lgpl3/gmp/dist/doc/ |
| texinfo.tex | 1 % texinfo.tex -- TeX macros to handle Texinfo files.
12 % This texinfo.tex file is free software: you can redistribute it and/or
17 % This texinfo.tex file is distributed in the hope that it will be
26 % a Texinfo source document, you may use the result without
30 % Please try the latest version of texinfo.tex before submitting bug
32 % http://ftp.gnu.org/gnu/texinfo/ (the Texinfo release area), or
33 % http://ftpmirror.gnu.org/texinfo/ (same, via a mirror), or
34 % http://www.gnu.org/software/texinfo/ (the Texinfo home page
[all...] |
| /src/external/lgpl3/mpc/dist/doc/ |
| texinfo.tex | 1 % texinfo.tex -- TeX macros to handle Texinfo files.
12 % This texinfo.tex file is free software: you can redistribute it and/or
17 % This texinfo.tex file is distributed in the hope that it will be
26 % a Texinfo source document, you may use the result without
30 % Please try the latest version of texinfo.tex before submitting bug
32 % http://ftp.gnu.org/gnu/texinfo/ (the Texinfo release area), or
33 % http://ftpmirror.gnu.org/texinfo/ (same, via a mirror), or
34 % http://www.gnu.org/software/texinfo/ (the Texinfo home page
[all...] |
| /src/external/gpl3/autoconf/dist/build-aux/ |
| texinfo.tex | 1 % texinfo.tex -- TeX macros to handle Texinfo files.
12 % This texinfo.tex file is free software: you can redistribute it and/or
17 % This texinfo.tex file is distributed in the hope that it will be
26 % a Texinfo source document, you may use the result without
27 % restriction. (This has been our intent since Texinfo was invented.)
29 % Please try the latest version of texinfo.tex before submitting bug
31 % http://www.gnu.org/software/texinfo/ (the Texinfo home page), or
32 % ftp://tug.org/tex/texinfo.te
[all...] |
| /src/external/gpl2/gmake/dist/config/ |
| texinfo.tex | 1 % texinfo.tex -- TeX macros to handle Texinfo files.
12 % This texinfo.tex file is free software; you can redistribute it and/or
17 % This texinfo.tex file is distributed in the hope that it will be
23 % along with this texinfo.tex file; see the file COPYING. If not, write
28 % a Texinfo source document, you may use the result without
29 % restriction. (This has been our intent since Texinfo was invented.)
31 % Please try the latest version of texinfo.tex before submitting bug
33 % http://www.gnu.org/software/texinfo/ (the Texinfo home page), o
[all...] |
| /src/external/gpl2/xcvs/dist/build-aux/ |
| texinfo.tex | 1 % texinfo.tex -- TeX macros to handle Texinfo files.
12 % This texinfo.tex file is free software: you can redistribute it and/or
17 % This texinfo.tex file is distributed in the hope that it will be
26 % a Texinfo source document, you may use the result without
27 % restriction. (This has been our intent since Texinfo was invented.)
29 % Please try the latest version of texinfo.tex before submitting bug
31 % http://www.gnu.org/software/texinfo/ (the Texinfo home page), or
32 % ftp://tug.org/tex/texinfo.te
[all...] |
| /src/external/gpl3/binutils/dist/texinfo/ |
| texinfo.tex | 1 % texinfo.tex -- TeX macros to handle Texinfo files.
12 % This texinfo.tex file is free software: you can redistribute it and/or
17 % This texinfo.tex file is distributed in the hope that it will be
26 % a Texinfo source document, you may use the result without
27 % restriction. (This has been our intent since Texinfo was invented.)
29 % Please try the latest version of texinfo.tex before submitting bug
31 % http://www.gnu.org/software/texinfo/ (the Texinfo home page), or
32 % ftp://tug.org/tex/texinfo.te
[all...] |
| /src/external/gpl3/binutils.old/dist/texinfo/ |
| texinfo.tex | 1 % texinfo.tex -- TeX macros to handle Texinfo files.
12 % This texinfo.tex file is free software: you can redistribute it and/or
17 % This texinfo.tex file is distributed in the hope that it will be
26 % a Texinfo source document, you may use the result without
27 % restriction. (This has been our intent since Texinfo was invented.)
29 % Please try the latest version of texinfo.tex before submitting bug
31 % http://www.gnu.org/software/texinfo/ (the Texinfo home page), or
32 % ftp://tug.org/tex/texinfo.te
[all...] |
