diff options
Diffstat (limited to 'gas/doc')
| -rw-r--r-- | gas/doc/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gas/doc/Makefile.in b/gas/doc/Makefile.in index 474bd48..7110192 100644 --- a/gas/doc/Makefile.in +++ b/gas/doc/Makefile.in @@ -257,6 +257,7 @@ builddir = @builddir@ cgen_cpu_prefix = @cgen_cpu_prefix@ datadir = @datadir@ datarootdir = @datarootdir@ +do_compare = @do_compare@ docdir = @docdir@ dvidir = @dvidir@ exec_prefix = @exec_prefix@ |