• Set up global, self-deleting temporary directory to use in situations where tools can’t be pipelined together (closes #5).
• Added mktemp command to configuration to support the above.
1 parent f25fa6b commit c36164377add851a6b47c9226c27f4825bd8cce9
Nigel Stanger authored on 8 Dec 2017
Showing 14 changed files
View
configuration/configure.ac
View
make-includes/build_content_rules.make
View
make-includes/build_document_rules.make
View
make-includes/build_lecture_rules.make
View
make-includes/build_misc_rules.make
View
make-includes/build_section_rules.make
View
make-includes/local_configuration.make.in
View
make-includes/standard_rules.make
View
makefile-templates/Makefile.content
View
makefile-templates/Makefile.document
View
makefile-templates/Makefile.handbook
View
makefile-templates/Makefile.lecture
View
makefile-templates/Makefile.misc
View
makefile-templates/Makefile.section