Re: [FFmpeg-devel] Source for http://ffmpeg.org/contact.html and documentation.html ?

2017-11-19 Thread Jim DeLaHunt
On 2017-11-18 14:53, Mark Thompson wrote: On 18/11/17 22:32, Jim DeLaHunt wrote: Hello, all: From what sources are the web pages http://ffmpeg.org/contact.html and https://ffmpeg.org/documentation.html generated? Sister web pages, like https://ffmpeg.org/ffmpeg.html and

Re: [FFmpeg-devel] Source for http://ffmpeg.org/contact.html and documentation.html ?

2017-11-18 Thread Mark Thompson
On 18/11/17 22:32, Jim DeLaHunt wrote: > Hello, all: > > From what sources are the web pages http://ffmpeg.org/contact.html and > https://ffmpeg.org/documentation.html generated? > > Sister web pages, like https://ffmpeg.org/ffmpeg.html and > http://ffmpeg.org/developer.html, are generated

[FFmpeg-devel] Source for http://ffmpeg.org/contact.html and documentation.html ?

2017-11-18 Thread Jim DeLaHunt
Hello, all: From what sources are the web pages http://ffmpeg.org/contact.html and https://ffmpeg.org/documentation.html generated? Sister web pages, like https://ffmpeg.org/ffmpeg.html and http://ffmpeg.org/developer.html, are generated from .texi files in the FFmpeg repository. Are