diff options
Diffstat (limited to 'src/preproc/html')
| -rw-r--r-- | src/preproc/html/Makefile.sub | 2 | ||||
| -rw-r--r-- | src/preproc/html/pre-html.cc | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/src/preproc/html/Makefile.sub b/src/preproc/html/Makefile.sub index 5b14c2aa..41f3c372 100644 --- a/src/preproc/html/Makefile.sub +++ b/src/preproc/html/Makefile.sub @@ -1,4 +1,4 @@ -PROG=pre-grohtml +PROG=pre-grohtml$(EXEEXT) # MAN1=pre-grohtml.n MAN1= XLIBS=$(LIBGROFF) diff --git a/src/preproc/html/pre-html.cc b/src/preproc/html/pre-html.cc index 8e63c41b..84697589 100644 --- a/src/preproc/html/pre-html.cc +++ b/src/preproc/html/pre-html.cc @@ -765,8 +765,9 @@ static int createAllPages (void) } s = make_message("echo showpage | " - "gs%s %s -q -dSAFER -sDEVICE=%s -r%d %s" + "%s%s %s -q -dSAFER -sDEVICE=%s -r%d %s" "-sOutputFile=%s/%%d %s -", + GS_NAME, EXE_EXT, gsPaper, image_device, |