From 8f193f9e674d13b8c30523f756dc18f4858d1edf Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 16 Jan 2008 22:11:03 +0000 Subject: [PATCH] remove obsolete pdf.ss svn: r8351 --- collects/scribblings/pdf.ss | 51 ------------------------------------- 1 file changed, 51 deletions(-) delete mode 100644 collects/scribblings/pdf.ss diff --git a/collects/scribblings/pdf.ss b/collects/scribblings/pdf.ss deleted file mode 100644 index 7eedec93ca..0000000000 --- a/collects/scribblings/pdf.ss +++ /dev/null @@ -1,51 +0,0 @@ - -(module pdf mzscheme - (require (lib "run.ss" "scribble") - (prefix guide: "guide/guide.scrbl") - (prefix reference: "reference/reference.scrbl") - (prefix quick: "quick/quick.scrbl") - (prefix scribble: "scribble/scribble.scrbl") - (prefix gui: "gui/gui.scrbl") - (lib "process.ss")) - - (define docs (list guide:doc - reference:doc - quick:doc - scribble:doc - gui:doc)) - (define names (list "guide" - "reference" - "quick" - "scribble" - "gui")) - - (define temp-dir (find-system-path 'temp-dir)) - - (parameterize ([current-dest-directory temp-dir] - [current-render-mixin latex:render-mixin] - [current-directory (collection-path "scribblings")]) - (build-docs docs names)) - - (parameterize ([current-directory temp-dir]) - (for-each (lambda (name) - (unless (system (format "pdflatex ~a && pdflatex ~a && pdflatex ~a" - name - name - name)) - (error "stopped"))) - names)) - - (for-each (lambda (name) - (let ([pdf (path-replace-suffix name #".pdf")]) - (rename-file-or-directory (build-path temp-dir pdf) - (build-path temp-dir "tmp.pdf") - #t) - (when (file-exists? pdf) - (delete-file pdf)) - (copy-file (build-path temp-dir "tmp.pdf") pdf))) - names)) - - - - - \ No newline at end of file