Compare commits

..

No commits in common. "ef0087082b6e16028e5e7c2e206b505b3e62e60d" and "610570c66a5dbfe690799e0a09271c4e965599d7" have entirely different histories.

View File

@ -32,7 +32,7 @@ pdfs:
git checkout $(VERSION)/VGL
make compile
cp $(PDF_TARGET) $(OUT_DIR)/$(VERSION)_VGL.pdf
git checkout master
git checkout $(VERSION)
compile:
# If not Exists, create 'Build' directory