diff options
| -rw-r--r-- | share/doc/papers/memfs/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/share/doc/papers/memfs/Makefile b/share/doc/papers/memfs/Makefile index bdc607d8..033b770 100644 --- a/share/doc/papers/memfs/Makefile +++ b/share/doc/papers/memfs/Makefile @@ -1,5 +1,5 @@ # From: @(#)Makefile 1.8 (Berkeley) 6/8/93 -# $Id$ +# $Id: Makefile,v 1.2 1995/01/11 04:10:05 wollman Exp $ VOLUME= papers DOC= memfs @@ -14,7 +14,7 @@ paper.t: 0.t 1.t ${.OBJDIR}/ref.bib.i ${.OBJDIR}/A.gt ${REFER} ${.CURDIR}/0.t ${.CURDIR}/1.t A.gt > ${.TARGET} ${.OBJDIR}/ref.bib.i ref.bib.i: ${.CURDIR}/ref.bib - ${INDXBIB} ${.CURDIR}/ref.bib + ${INDXBIB} -o ref.bib ${.CURDIR}/ref.bib ${.OBJDIR}/A.gt A.gt: ${.CURDIR}/A.t ${GRIND} < ${.CURDIR}/A.t > A.gt |
