Robby Findler 9d43203990 adjusted the render-* functions so they produce .pdf if the given ... filename ends with #rx#"[.]pdf".		2012-03-17 08:36:34 -05:00
..
HISTORY.txt	adjusted the render-* functions so they produce .pdf if the given	2012-03-17 08:36:34 -05:00