From c9f0f517a3ee5f75a3c0f2b48ff96a2b142e3751 Mon Sep 17 00:00:00 2001
From: Frieder Schlesier <fschl.code@gmail.com>
Date: Wed, 11 Jan 2017 16:54:13 +0100
Subject: [PATCH] add pdflatex command

---
 .dockerfunc | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/.dockerfunc b/.dockerfunc
index 4e02c2f..d5f0569 100755
--- a/.dockerfunc
+++ b/.dockerfunc
@@ -269,6 +269,18 @@ latex() {
            ${DOCKER_REPO_PREFIX}/latex "$@"
 }
 
+pdflatex() {
+    local file=$@
+    local cur_dir=$(pwd)
+    local FILENAME=${file%%.*}
+
+    latex bash -c "latex $file; latex $file; pdflatex $file"
+
+    sudo rm $FILENAME.aux $FILENAME.dvi $FILENAME.out
+
+    sudo chown ${DOCKER_REPO_PREFIX}:${DOCKER_REPO_PREFIX} $FILENAME.pdf
+}
+
 libreoffice() {
     del_stopped libreoffice