diff options
| author | Morgan Deters <mdeters@gmail.com> | 2009-12-17 00:02:12 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2009-12-17 00:02:12 +0000 |
| commit | 73fd355fd1a9f6cacfc3170d29e29fccc94ab539 (patch) | |
| tree | e88c1a48887ec1053d7fff40a9cb6ba5b8501e87 /doc | |
| parent | 426b8722e6e32f7fab46769e4d71184bf510fd0e (diff) | |
support nonstandard, unconfigured builds (e.g., "./configure debug" followed by "make production ASSERTIONS=1")
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index d5264caff..99ff59b1c 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -169,6 +169,7 @@ localedir = @localedir@ localstatedir = @localstatedir@ lt_ECHO = @lt_ECHO@ mandir = @mandir@ +mk_include = @mk_include@ mkdir_p = @mkdir_p@ oldincludedir = @oldincludedir@ pdfdir = @pdfdir@ |