diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | Makefile_lout | 12 |
2 files changed, 13 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..b25c15b --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +*~ diff --git a/Makefile_lout b/Makefile_lout new file mode 100644 index 0000000..e45f462 --- /dev/null +++ b/Makefile_lout @@ -0,0 +1,12 @@ + +# clear out all suffixes +.SUFFIXES: +# # list only those we use +.SUFFIXES: .lou .ps .pdf + +.lou.ps: + lout -I.. -r3 $< -o $@ + +.ps.pdf: + ps2pdf $< + |