Add Bazel rules to build PDF docs

EduMIPS64 · Jul 26, 2018 · 6df923b · 6df923b
1 parent 4771f1a
commit 6df923b
Show file tree

Hide file tree

Showing 2 changed files with 38 additions and 0 deletions.
diff --git a/docs/user/en/BUILD b/docs/user/en/BUILD
@@ -61,6 +61,25 @@ genrule(
     ]),
 )
 
+genrule(
+    name = "pdf",
+    srcs = [
+        ":src",
+        ":makefile",
+        "//docs/user:common_conf",
+    ],
+    outs = ["EduMIPS64.pdf"],
+    cmd = "\n".join([
+        # Get the absolute path of the output directory as a destination.
+        "DST=$$(readlink -f $(@D))",
+        "echo $$DST",
+        "cd $$(dirname $(location :makefile))",
+        # Remove -Q to debug Sphinx.
+        "make latexpdf BUILDDIR=$$DST SPHINXOPTS='-N -a -E -Q'",
+        "cp $$DST/latex/EduMIPS64.pdf $$DST/EduMIPS64.pdf"
+    ]),
+)
+
 filegroup(
     name = "html_files",
     srcs = html_files,

diff --git a/docs/user/it/BUILD b/docs/user/it/BUILD
@@ -61,6 +61,25 @@ genrule(
     ]),
 )
 
+genrule(
+    name = "pdf",
+    srcs = [
+        ":src",
+        ":makefile",
+        "//docs/user:common_conf",
+    ],
+    outs = ["EduMIPS64.pdf"],
+    cmd = "\n".join([
+        # Get the absolute path of the output directory as a destination.
+        "DST=$$(readlink -f $(@D))",
+        "echo $$DST",
+        "cd $$(dirname $(location :makefile))",
+        # Remove -Q to debug Sphinx.
+        "make latexpdf BUILDDIR=$$DST SPHINXOPTS='-N -a -E -Q'",
+        "cp $$DST/latex/EduMIPS64.pdf $$DST/EduMIPS64.pdf"
+    ]),
+)
+
 filegroup(
     name = "html_files",
     srcs = html_files,