diff --git a/docs/make-pdf.py b/docs/make-pdf.py index 1d28faaf3..a4f3f111b 100644 --- a/docs/make-pdf.py +++ b/docs/make-pdf.py @@ -10,6 +10,15 @@ if os.path.isdir(latex_build_dir): shutil.rmtree(latex_build_dir) +print('\nChecking for MikTex updates...') +checkMiktexCmd = "miktex packages check-update" +os.system(checkMiktexCmd) + +print('\nChecking for MikTex packages integrity...') +verifyMiktexCmd = "miktex packages verify" +os.system(verifyMiktexCmd) +print() + ext = '.bat' if sys.platform.startswith('win') else '' os.system(f'{docs_dir}{os.sep}make{ext} latex')