Question: How can I reduce the size of a `\psdiabox`, for instance:

```
\documentclass[10pt,a4paper,twoside]{scrbook}
\usepackage{pstricks}
\usepackage{pst-all}

\begin{document}
\psset{unit=0.35}
\begin{pspicture}(9.261250,-52.662503)(52.977702,-0.950000)
\begin{psmatrix}[rowsep=1cm,colsep=.5cm]
        & \rput[tc](30.5,-19.5){\psdiabox
            { \begin{tabular}{c}
                ?`$Pueden \, estar \, repetidos$ \\
                $los \, p \, que \, vaya \, a \, tomar?$ \\
                \end{tabular} }}
        \end{psmatrix}

\end{pspicture}
\end{document}

```

![enter image description here](https://i.stack.imgur.com/HeD73.png)

Answer: 
Your best bet would be to convert the pdf to a series of images probably using [imagemagick](http://www.imagemagick.org/script/index.php)'s convert routine, then use [ffmpeg](http://www.ffmpeg.org/) to assemble them into a video. Both tools are free and cross-platform.

[Stack Overflow has more detail](https://stackoverflow.com/a/10612261/2583476) - you could basically run the contents of the 2 php `exec` commands in the answer from the command line.

**Edit:**
I think it would be necessary to use a script to figure out where to insert the video - either:

* In my limited use of Beamer (simple static slides) I would be able to count the `\begin{frame}`s to count the slides, then look out for the command that includes the video. You could then use this to drive `ffmpeg`.
* It also looks possible to parse the `.nav` file - this may be simpler, but I can't get `media9` working here at the moment, so don't know whether it inserts anything into the `.nav` or the `.aux`.

The common point is that ffpmeg can do the heavy lifting by combining images and (dissimilar) video files.

However, if this was a one-off, without too many videos, I would be inclined to split the PDF, and use ffmpeg to combine PDF1, video1, PDF2, video2 etc. by hand, despite my inclination to script as much as possible.
This is perhaps a bit of a "hacky" solution, but you could try using a screen recording application as you manually play back the PDF (at full screen) at your desired speed and timings. Quicktime X on Mac OS X is excellent, and there is a Linux program `simplescreenrecorder` which looks to do much the same thing.

Don't forget to set your screen resolution to the resolution of the Smart TV, if you can (presumably 1920x1080), to maximize quality. YMMV though, if you have an older machine it may struggle to record embedded video at that resolution.