updated submodule for latex syntax

apl-cornell · Jul 2, 2020 · de6886c · de6886c
1 parent 2e2de2c
commit de6886c
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 4 deletions.
diff --git a/.gitmodules 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
@@ -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
+.PHONY: phony
diff --git a/ideas/pipeDSL/semantics/latex-pl-syntax b/ideas/pipeDSL/semantics/latex-pl-syntax
diff --git 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
+.PHONY: phony