diff options
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index da02fec..ba97376 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -139,14 +139,14 @@ refcard.dvi : $(srcdir)/refcard.tex # GDB QUICK REFERENCE (PostScript output, common PS fonts) refcard.ps : $(srcdir)/refcard.tex $(srcdir)/psrc.sed - sed -f $(srcdir)/psrc.sed refcard.tex >psref.tex + sed -f $(srcdir)/psrc.sed $(srcdir)/refcard.tex >psref.tex TEXINPUTS=$(srcdir):.:$$TEXINPUTS tex psref.tex dvips -t landscape psref -o; mv psref.ps refcard.ps rm -f psref.dvi psref.log # GDB QUICK REFERENCE (PostScript output, common PS fonts w/long names) lrefcard.ps : $(srcdir)/refcard.tex $(srcdir)/lpsrc.sed - sed -f $(srcdir)/lpsrc.sed refcard.tex >psref.tex + sed -f $(srcdir)/lpsrc.sed $(srcdir)/refcard.tex >psref.tex TEXINPUTS=$(srcdir):.:$$TEXINPUTS tex psref.tex dvips -t landscape psref -o; mv psref.ps lrefcard.ps rm -f psref.dvi psref.log |