diff options
Diffstat (limited to 'doc/Makefile.in')
| -rw-r--r-- | doc/Makefile.in | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index f781eb2b..d8910d87 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -118,15 +118,13 @@ groff.info: groff.texinfo gnu.eps: gnu.xpm xpmtoppm $(srcdir)/gnu.xpm | pnmdepth 15 | $(pnmtops) -noturn >$@ -gnu.png: gnu.xpm - xpmtoppm $(srcdir)/gnu.xpm | pnmdepth 15 | pnmtopng >$@ pic.html: pic.ms $(GROFF) -P-p -P-I`basename $< | sed -e 's|.ms$$||'` \ -P-D$(imagedir) -P-j`basename $< | sed -e 's|.ms$$||'` \ -Thtml -P-V -ms >$@ -webpage.html: webpage.ms gnu.png gnu.eps groff.css +webpage.html: webpage.ms gnu.eps groff.css $(GROFF) -P-j`basename $< | sed -e 's|.ms$$||'` \ -P-nrpb -P-I`basename $< | sed -e 's|.ms$$||'` \ -P-D$(imagedir) -Thtml -ms >$@ |