diff options
Diffstat (limited to 'notes/local.mk')
| -rw-r--r-- | notes/local.mk | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/notes/local.mk b/notes/local.mk deleted file mode 100644 index 8d6d951..0000000 --- a/notes/local.mk +++ /dev/null @@ -1,14 +0,0 @@ -# -*- make -*- -# (C) 2013 by Eugeniy Mikhailov, <evgmik@gmail.com> - - -PACKAGE_DIR = $(shell basename `pwd`) - -tex_independent := error_propagation_note.tex -t2t_fig_files := -tex_fig_files := -tex_includes := - -REQUIRED_TARGETS += pdf_tex -INSTALL_TARGETS += install_pdf_tex - |