#!/usr/bin/newlisp # # this utility is called from Makefile: # make preparepdf # to prepare the file for PDF conversion, byt replaceing all # with in the syntax statements and replacing → (one line # arrow with ⇒ (double line arrow) # # USAGE: preparepdf newlisp_manual.html newlisp_manual_preparepdf.html # (set 'text (read-file (main-args 2))) ; input file (replace {(