Received: from mail-pz0-f61.google.com ([209.85.210.61]:56332) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1RRGW4-0003Sj-Pe; Thu, 17 Nov 2011 20:57:43 -0800 Received: by pzk33 with SMTP id 33sf697701pzk.16 for ; Thu, 17 Nov 2011 20:57:26 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id :mail-followup-to:mime-version:user-agent:sender:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-google-group-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe:content-type:content-disposition; bh=6IIfVg04IExi9+jmh0x6h+hfebJv9/7G19QkNooWNho=; b=UPYiy20k0pvC2CMecJDmOo1GjnlZjF/V0vDrbVJFVJKsYzH845Wy4iGY6tmsTKnQBc QrfB363b5t+vwMIlw/y48QXcqz9Fx4SuV6OZuogYu3nIIWMzbIx6fPm4C/Hknt07W75W WIpnozSNw3G5dT9NquXc6ArJ5FtUrKVoHyIgI= Received: by 10.68.22.69 with SMTP id b5mr29969pbf.11.1321592243879; Thu, 17 Nov 2011 20:57:23 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.68.209.39 with SMTP id mj7ls9119208pbc.2.gmail; Thu, 17 Nov 2011 20:57:23 -0800 (PST) Received: by 10.68.39.100 with SMTP id o4mr471535pbk.0.1321592243192; Thu, 17 Nov 2011 20:57:23 -0800 (PST) Received: by 10.68.39.100 with SMTP id o4mr471532pbk.0.1321592243181; Thu, 17 Nov 2011 20:57:23 -0800 (PST) Received: from stodi.digitalkingdom.org (mail.digitalkingdom.org. [173.13.139.236]) by gmr-mx.google.com with ESMTPS id r5si4427214pbe.1.2011.11.17.20.57.22 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 17 Nov 2011 20:57:22 -0800 (PST) Received-SPF: pass (google.com: domain of nobody@stodi.digitalkingdom.org designates 173.13.139.236 as permitted sender) client-ip=173.13.139.236; Received: from nobody by stodi.digitalkingdom.org with local (Exim 4.76) (envelope-from ) id 1RRGVt-0003Sg-QZ for lojban@googlegroups.com; Thu, 17 Nov 2011 20:57:21 -0800 Received: from rlpowell by stodi.digitalkingdom.org with local (Exim 4.76) (envelope-from ) id 1RRGVt-0003SZ-GX for lojban-list@lojban.org; Thu, 17 Nov 2011 20:57:21 -0800 Date: Thu, 17 Nov 2011 20:57:21 -0800 From: Robin Lee Powell To: lojban-list@lojban.org Subject: [lojban] CLLv1.1 again: html -> pdf with page numbers? Message-ID: <20111118045721.GW2500@stodi.digitalkingdom.org> Mail-Followup-To: lojban-list@lojban.org MIME-Version: 1.0 User-Agent: Mutt/1.5.21 (2010-09-15) Sender: lojban@googlegroups.com X-Original-Sender: rlpowell@digitalkingdom.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of nobody@stodi.digitalkingdom.org designates 173.13.139.236 as permitted sender) smtp.mail=nobody@stodi.digitalkingdom.org Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Disposition: inline X-Spam-Score: -0.0 (/) X-Spam_score: -0.0 X-Spam_score_int: 0 X-Spam_bar: / So I would dearly love to be able to generate a PDF version of CLLv1.1 from the HMTL version. The problem I'm finding with all of the converters I've tried is that they don't fix internal cross references from names into page numbers, so that the index (for example) is full of things like: klama: Section 1.17, Section 2.4 rather than: klama: 4, 8 Either an html->pdf converter that handles this, or something that converts the cross references in the resulting pdf, would be fantastic. -Robin -- http://singinst.org/ : Our last, best hope for a fantastic future. Lojban (http://www.lojban.org/): The language in which "this parrot is dead" is "ti poi spitaki cu morsi", but "this sentence is false" is "na nei". My personal page: http://www.digitalkingdom.org/rlp/ -- You received this message because you are subscribed to the Google Groups "lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en.