You can not select more than 25 topics Topics must start with a chinese character,a letter or number, can include dashes ('-') and can be up to 35 characters long.

make.bat 473 B

5 years ago
12345678910111213141516171819202122232425262728293031
  1. @ECHO OFF
  2. REM Command file for Sphinx documentation
  3. pushd %~dp0
  4. set PDFLATEX=latexmk -pdf -dvi- -ps-
  5. set "LATEXOPTS= "
  6. if "%1" == "" goto all-pdf
  7. if "%1" == "all-pdf" (
  8. :all-pdf
  9. for %%i in (*.tex) do (
  10. %PDFLATEX% %LATEXMKOPTS% %%i
  11. )
  12. goto end
  13. )
  14. if "%1" == "all-pdf-ja" (
  15. goto all-pdf
  16. )
  17. if "%1" == "clean" (
  18. del /q /s *.dvi *.log *.ind *.aux *.toc *.syn *.idx *.out *.ilg *.pla *.ps *.tar *.tar.gz *.tar.bz2 *.tar.xz *.fls *.fdb_latexmk
  19. goto end
  20. )
  21. :end
  22. popd

A Python package for graph kernels, graph edit distances and graph pre-image problem.