diff options
Diffstat (limited to 'src/io')
| -rw-r--r-- | src/io/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/io/Makefile.in b/src/io/Makefile.in index 2320b804..c031a793 100644 --- a/src/io/Makefile.in +++ b/src/io/Makefile.in @@ -357,6 +357,7 @@ oldincludedir = @oldincludedir@ open_axiom_installdir = @open_axiom_installdir@ openaxiom_host_has_regex = @openaxiom_host_has_regex@ pdfdir = @pdfdir@ +pointer_type = @pointer_type@ prefix = @prefix@ program_transform_name = @program_transform_name@ psdir = @psdir@ |