[spp] [PATCH v2 13/13] docs: ensure PDF images are exist for latex

[ogawa.yasufumi at lab.ntt.co.jp]

From: Yasufumi Ogawa <ogawa.yasufumi at lab.ntt.co.jp>

Compiling PDF documenation requires that embedded image is also PDF
format. `make doc-pdf` launchs `inkscape` for generating PDF images
before compilation. However, it is possiblly started to compile before
PDF image is generated.

This patch is to ensure PDF image is generated before.

Signed-off-by: Yasufumi Ogawa <ogawa.yasufumi at lab.ntt.co.jp>
---
 docs/guides/gen_pdf_imgs.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/guides/gen_pdf_imgs.py b/docs/guides/gen_pdf_imgs.py
index 4459316..2caf583 100644
--- a/docs/guides/gen_pdf_imgs.py
+++ b/docs/guides/gen_pdf_imgs.py
@@ -45,6 +45,10 @@ def main():
                 print(cmd)
                 subprocess.call(cmd, shell=True)
 
+    # Ensure PDF img is generated.
+    while os.path.exists(pdf_fpath) == False:
+        pass
+
 
 if __name__ == "__main__":
     main()
-- 
2.7.4