diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 0000000..8442939 --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1,8 @@ +manual-3.x.aux +manual-3.x.bbl +manual-3.x.blg +manual-3.x.fdb_latexmk +manual-3.x.fls +manual-3.x.log +manual-3.x.out +manual-3.x.toc diff --git a/doc/Makefile b/doc/Makefile new file mode 100644 index 0000000..93674ad --- /dev/null +++ b/doc/Makefile @@ -0,0 +1,4 @@ +all : manual-3.x.pdf + +%.pdf : %.tex + latexmk -use-make -pdf $< diff --git a/jslib/.gitignore b/jslib/.gitignore new file mode 100644 index 0000000..240d237 --- /dev/null +++ b/jslib/.gitignore @@ -0,0 +1,6 @@ +dagitty-alg.js +dagitty-min.js +dagitty-node.js +dagitty.js +jsmin +