add module to generate PDF docs

svn: r6258

collects/scribblings/pdf.ss

@@ -0,0 +1,44 @@
+
+(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")
+           (lib "process.ss"))
+
+  (define docs (list guide:doc
+                     reference:doc
+                     quick:doc
+                     scribble:doc))
+  (define names (list "guide"
+                      "reference"
+                      "quick"
+                      "scribble"))
+
+  (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"
+                                        name
+                                        name))
+                  (error "stopped")))
+              names))
+
+  (for-each (lambda (name)
+              (let ([pdf (path-replace-suffix name #".pdf")])
+                (when (file-exists? pdf)
+                  (delete-file pdf))
+                (copy-file (build-path temp-dir  pdf) pdf)))
+            names))
+
+
+  
+  
+