Ciao Guiseppe.

On 10 April 2005 at 12:54, [EMAIL PROTECTED] wrote:
| On Sat, Apr 09, 2005 at 01:52:45PM -0500, Dirk Eddelbuettel wrote:
| > I agree that that one looks pretty as far as the fonts are concerned.  But
| > for the manual as a whole does 'dvips ....; ps2pdf ...' create the 
thumbnails
| > etc pp that the pdf would contain with pdflatex?
| 
| Hi Dirk
| 
| You are right, ps2pdf makes no thumbnails.   Would you like to try the
| attached patch, so we can try to massage randist.tex and its friends and
| keep going the pdftex way, without sacrificing pictures for thumbnails?

The patch looks excellent as it adds smarts where I was lacking them --
getting the pictures converted to pdf individually may be just the way to go.

Running a new build now...

By chance, do you have an idea how we could control the old bug report Bas
filed a few months ago on font quality?  We seem to be getting better results
now, maybe something changed in tetex-extra?

Thanks, and best regards,  Dirk
 
| regards
| peppe
| --- gsl-1.6/debian/rules      2005-04-10 12:45:39.326184874 +0200
| +++ gsl-1.6/debian/rules.peppe        2005-04-10 12:46:14.321419788 +0200
| @@ -67,6 +67,16 @@
|          #cd doc && $(MAKE) ps
|          # make pdf
|       cd doc && \
| +        cp -p randist.texi randist.texi.orig && \
| +        sed 's/^.*\\input \(rand.*\)\.tex.*$$/@end [EMAIL PROTECTED] @[EMAIL 
PROTECTED]/' \
| +          randist.texi.orig > randist.texi && \
| +        for i in rand-*.tex random-walk.tex ; do \
| +          echo Converting $$i to eps; \
| +          j=`basename $$i .tex`; \
| +          tex "\batchmode\nopagenumbers\input $$j\bye"; \
| +          dvips $$j; \
| +          ps2eps -f $$j.ps; \
| +        done && \
|          for i in *.eps; do \
|            echo Converting $$i to pdf... && epstopdf $$i ; \
|          done && $(MAKE) pdf

-- 
Better to have an approximate answer to the right question than a precise 
answer to the wrong question.  --  John Tukey as quoted by John Chambers


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to