diff options
Diffstat (limited to 'dviware/dvisirule/dvisirule-expg.mk')
-rw-r--r-- | dviware/dvisirule/dvisirule-expg.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dviware/dvisirule/dvisirule-expg.mk b/dviware/dvisirule/dvisirule-expg.mk index e46d2c578f..5df8daf66a 100644 --- a/dviware/dvisirule/dvisirule-expg.mk +++ b/dviware/dvisirule/dvisirule-expg.mk @@ -20,7 +20,7 @@ # Those filenames have the absolute page-numbers. %.sidvi: %.dvi - "${DVITYPE}" -show-opcodes $< |\ + "${DVITYPE}" $< |\ awk -f "${Marker}" |\ "${SIRULE}" $< $@ |