From de6886cd65a86484c7ebbdb5f52f3e315b5e5dad Mon Sep 17 00:00:00 2001 From: dz333 Date: Thu, 2 Jul 2020 13:41:58 -0400 Subject: [PATCH] updated submodule for latex syntax --- .gitmodules | 3 +++ ideas/pipeDSL/semantics/concurrent/Makefile | 4 ++-- ideas/pipeDSL/semantics/latex-pl-syntax | 1 + ideas/pipeDSL/semantics/sequential/Makefile | 4 ++-- 4 files changed, 8 insertions(+), 4 deletions(-) create mode 100644 .gitmodules create mode 160000 ideas/pipeDSL/semantics/latex-pl-syntax diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 00000000..42e3ab93 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "ideas/pipeDSL/semantics/latex-pl-syntax"] + path = ideas/pipeDSL/semantics/latex-pl-syntax + url = https://github.com/cacay/latex-pl-syntax.git diff --git a/ideas/pipeDSL/semantics/concurrent/Makefile b/ideas/pipeDSL/semantics/concurrent/Makefile index 4a66ab0a..380ea6fe 100644 --- a/ideas/pipeDSL/semantics/concurrent/Makefile +++ b/ideas/pipeDSL/semantics/concurrent/Makefile @@ -1,9 +1,9 @@ all: semantics.pdf semantics.pdf: semantics.tex - TEXINPUTS=".:..:../latex-pl-syntax/:" pdflatex semantics.tex + TEXINPUTS=".:../latex-pl-syntax/:" pdflatex semantics.tex clean: phony rm -rf *.pdf *.aux *.log -.PHONY: phony \ No newline at end of file +.PHONY: phony diff --git a/ideas/pipeDSL/semantics/latex-pl-syntax b/ideas/pipeDSL/semantics/latex-pl-syntax new file mode 160000 index 00000000..7479b76f --- /dev/null +++ b/ideas/pipeDSL/semantics/latex-pl-syntax @@ -0,0 +1 @@ +Subproject commit 7479b76f4cafeffe0b64602dd75db0caa1b8ee6e diff --git a/ideas/pipeDSL/semantics/sequential/Makefile b/ideas/pipeDSL/semantics/sequential/Makefile index 4a66ab0a..380ea6fe 100644 --- a/ideas/pipeDSL/semantics/sequential/Makefile +++ b/ideas/pipeDSL/semantics/sequential/Makefile @@ -1,9 +1,9 @@ all: semantics.pdf semantics.pdf: semantics.tex - TEXINPUTS=".:..:../latex-pl-syntax/:" pdflatex semantics.tex + TEXINPUTS=".:../latex-pl-syntax/:" pdflatex semantics.tex clean: phony rm -rf *.pdf *.aux *.log -.PHONY: phony \ No newline at end of file +.PHONY: phony