docs: add latex to docs and publish pdf if exists (#2321)

wireapp · Apr 26, 2022 · 5f667d7 · 5f667d7
1 parent 2a94f99
commit 5f667d7
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 1 deletion.
diff --git a/changelog.d/5-internal/wire-docs-pdf b/changelog.d/5-internal/wire-docs-pdf
@@ -0,0 +1 @@
+docs: add latex to docs and publish pdf if exists
diff --git a/docs/Makefile b/docs/Makefile
@@ -64,6 +64,7 @@ docker-push:
 .PHONY: push
 push:
 	aws s3 sync $(BUILDDIR)/html s3://origin-docs.wire.com/
+	[[ -f  $(BUILDDIR)/latex/main.pdf ]] && aws cp $(BUILDDIR)/latex/main.pdf s3://origin-docs.wire.com/main.pdf || exit 0
 
 .PHONY: dev-run
 dev-run: clean

diff --git a/docs/nix/default.nix b/docs/nix/default.nix
@@ -13,7 +13,7 @@ in
       pkgs.zip
       pkgs.gnumake
       pkgs.entr
-      # pkgs.texlive.combined.scheme-full
+      pkgs.texlive.combined.scheme-full
 
       (pkgs.python3.withPackages (ps: with ps; [ sphinx recommonmark rst2pdf sphinx-autobuild sphinxcontrib-fulltoc sphinxcontrib-kroki sphinx-multiversion sphinx_rtd_theme ]))
     ];
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		docs: add latex to docs and publish pdf if exists