diff --git a/Makefile b/Makefile index 08bcf96..9ddfbbe 100644 --- a/Makefile +++ b/Makefile @@ -135,6 +135,7 @@ all: noweb ${MNT}/${SYS}/bin/document @ ${DOCUMENT} Makefile @ mkdir -p ${MNT}/${SYS}/doc/src @ cp books/dvipdfm.def ${MNT}/${SYS}/doc + @ cp books/changepage.sty ${MNT}/${SYS}/doc @ cp Makefile.dvi ${MNT}/${SYS}/doc/src/root.Makefile.dvi @ if [ "${RUNTYPE}" = "parallel" ] ; then \ ( echo p4 starting parallel make of input files ; \ diff --git a/Makefile.pamphlet b/Makefile.pamphlet index b30a4e7..d0ad8a9 100644 --- a/Makefile.pamphlet +++ b/Makefile.pamphlet @@ -46,6 +46,7 @@ all: noweb ${MNT}/${SYS}/bin/document @ ${DOCUMENT} Makefile @ mkdir -p ${MNT}/${SYS}/doc/src @ cp books/dvipdfm.def ${MNT}/${SYS}/doc + @ cp books/changepage.sty ${MNT}/${SYS}/doc @ cp Makefile.dvi ${MNT}/${SYS}/doc/src/root.Makefile.dvi @ if [ "${RUNTYPE}" = "parallel" ] ; then \ ( echo p4 starting parallel make of input files ; \