diff options
Diffstat (limited to 'share/doc/papers/timecounter/Makefile')
| -rw-r--r-- | share/doc/papers/timecounter/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/share/doc/papers/timecounter/Makefile b/share/doc/papers/timecounter/Makefile index 252dba3..f6d158b 100644 --- a/share/doc/papers/timecounter/Makefile +++ b/share/doc/papers/timecounter/Makefile @@ -9,9 +9,9 @@ SRCS= tmac.usenix timecounter.ms-patched EXTRA= fig1.eps fig2.eps fig3.eps fig4.eps fig5.eps gps.ps intr.ps MACROS= -ms CLEANFILES= timecounter.ms-patched -USE_PIC=1 -USE_EQN=1 -USE_TBL=1 +USE_PIC= +USE_EQN= +USE_TBL= timecounter.ms-patched: timecounter.ms sed -E -e 's;(gps|intr).ps;${.CURDIR}/&;' -e 's;fig[0-9].eps;${.CURDIR}/&;' \ |
