-
Notifications
You must be signed in to change notification settings - Fork 0
/
movies.do.txt
66 lines (40 loc) · 1.97 KB
/
movies.do.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
TITLE: This is a demo of movies in DocOnce
AUTHOR: HPL
DATE: today
Here is a movie in WebM format.
# #if FORMAT == "html"
Note that in HTML format a WebM movie
may actually be the MP4 version of this movie
three alternative sources (MP4, WebM, OGG)
are inserted in the HTML code by default. The command-line
option `--no_mp4_webm_ogg_alternatives` makes the HTML
code use exactly the specified movie file.
# #endif
MOVIE: [../doc/src/manual/mov/wave.webm, width=700, height=400] 1D wave in WebM.
Here is the same movie in Ogg format:
MOVIE: [../doc/src/manual/mov/wave.ogg, width=700, height=400] 1D wave in Ogg.
Here is the same movie in MP4 format:
MOVIE: [../doc/src/manual/mov/wave.mp4, width=700, height=400] 1D wave in MP4.
Here is the same movie in Flash format:
MOVIE: [../doc/src/manual/mov/wave.flv, width=700, height=400] 1D wave in Flash.
And here is a collection of images shown as an animation
(`frame_*.png`):
MOVIE: [../doc/src/manual/mov/wave_frames/frame_*.png, width=700, height=400] Animated collection of images.
Here is the same collection, but with images in cyberspace, given as URLs:
!bc
https://hplgit.github.io/animate/..../frame_%04d.png:80->129
!ec
MOVIE: [https://hplgit.github.io/animate/doc/pub/mov-animate/frames/frame_%04d.png:80->129] Taking images to animate from cyberspace.
The movie above in MPEG format, typeset in a box:
!bbox
MOVIE: [../doc/src/manual/mov/wave.mpeg, width=700, height=400] 1D wave in MPEG. label{mov:wave}
!ebox
Here is the same movie in AVI format:
MOVIE: [../doc/src/manual/mov/wave.avi, width=700, height=400] 1D wave in AVI.
Here is the same movie, but with a URL to GitHub:
MOVIE: [https://github.com/doconce/doconce_doc/blob/main/src/manual/mov/wave.ogg]
Here is a YouTube video:
MOVIE: [https://www.youtube.com/watch?v=_O7iUiftbKU, width=420, height=315] YouTube movie.
And a vimeo video:
MOVIE: [https://vimeo.com/55562330, width=500, height=278] Vimeo movie.
Finally, let us demonstrate referencing the movie ref{mov:wave}.