diff options
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index a1d0ae2e9e5..ad3787ebe29 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -189,7 +189,7 @@ refcard.dvi : refcard.tex $(REFEDITS) cp $(srcdir)/refcard.tex sedref.tex ; \ else \ echo > tmp.sed ; \ - for f in "$(REFEDITS)" ; do \ + for f in $(REFEDITS) ; do \ cat $(srcdir)/$$f >>tmp.sed ; done ; \ sed -f tmp.sed $(srcdir)/refcard.tex >sedref.tex ; \ fi |