Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed obsolete psbooklet;
authorwenzelm
Thu, 05 Jul 2012 22:12:42 +0200
changeset 48198 4cae75fa29f2
parent 48197 b13dd10ebc77
child 48204 3155cee13c49
removed obsolete psbooklet;
Admin/psbooklet file | annotate | diff | comparison | revisions 
--- a/Admin/psbooklet	Thu Jul 05 22:12:03 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,6 +0,0 @@
-#!/usr/bin/env bash
-#
-# psbooklet - rearrange pages of ps file to be printed as booklet (duplex)
-
-psbook "$@" | \
-  pstops '4:0L@.7(21cm,0cm)+1L@.7(21cm,14.85cm),3R@.7(0cm,14.85cm)+2R@.7(0cm,29.7cm)'
isabelle