diff options
Diffstat (limited to 'crypto/krb5/doc/pdf/make.bat')
| -rw-r--r-- | crypto/krb5/doc/pdf/make.bat | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/crypto/krb5/doc/pdf/make.bat b/crypto/krb5/doc/pdf/make.bat deleted file mode 100644 index 94bda2139156..000000000000 --- a/crypto/krb5/doc/pdf/make.bat +++ /dev/null @@ -1,31 +0,0 @@ -@ECHO OFF - -REM Command file for Sphinx documentation - -pushd %~dp0 - -set PDFLATEX=latexmk -pdf -dvi- -ps- - -set "LATEXOPTS= " - -if "%1" == "" goto all-pdf - -if "%1" == "all-pdf" ( - :all-pdf - for %%i in (*.tex) do ( - %PDFLATEX% %LATEXMKOPTS% %%i - ) - goto end -) - -if "%1" == "all-pdf-ja" ( - goto all-pdf -) - -if "%1" == "clean" ( - del /q /s *.dvi *.log *.ind *.aux *.toc *.syn *.idx *.out *.ilg *.pla *.ps *.tar *.tar.gz *.tar.bz2 *.tar.xz *.fls *.fdb_latexmk - goto end -) - -:end -popd
\ No newline at end of file |