diff options
Diffstat (limited to 'src/syntax/Makefile.in')
| -rw-r--r-- | src/syntax/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/syntax/Makefile.in b/src/syntax/Makefile.in index f492a7f7..98e45314 100644 --- a/src/syntax/Makefile.in +++ b/src/syntax/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@ |