diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 93eeeedb..30a9ba67 100644 --- a/Makefile.in +++ b/Makefile.in @@ -430,6 +430,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@ |