diff options
Diffstat (limited to 'xserver/record')
| -rw-r--r-- | xserver/record/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/xserver/record/Makefile.in b/xserver/record/Makefile.in index c05f59bca..a036c00b3 100644 --- a/xserver/record/Makefile.in +++ b/xserver/record/Makefile.in @@ -196,6 +196,8 @@ ECHO_T = @ECHO_T@ EGREP = @EGREP@ ENABLE_DEVEL_DOCS_FALSE = @ENABLE_DEVEL_DOCS_FALSE@ ENABLE_DEVEL_DOCS_TRUE = @ENABLE_DEVEL_DOCS_TRUE@ +ENABLE_DOCS_FALSE = @ENABLE_DOCS_FALSE@ +ENABLE_DOCS_TRUE = @ENABLE_DOCS_TRUE@ EXEEXT = @EXEEXT@ F77 = @F77@ FBDEVHW_FALSE = @FBDEVHW_FALSE@ |