1 |
On Wed, 25 Sep 2013 20:15:57 +0200 |
2 |
Michał Górny <mgorny@g.o> wrote: |
3 |
|
4 |
> Dnia 2013-09-25, o godz. 14:38:14 |
5 |
> Tom Wijsman <TomWij@g.o> napisał(a): |
6 |
> |
7 |
> > On Wed, 25 Sep 2013 08:36:56 +0200 |
8 |
> > Martin Gysel <m.gysel@×××××.com> wrote: |
9 |
> > |
10 |
> > > Am 24.09.2013 19:49, schrieb hasufell: |
11 |
> > > > I wonder if it would make any sense to take the effort to |
12 |
> > > > convert markdown docs to html format before installing them. |
13 |
> > > > |
14 |
> > > |
15 |
> > > following that logic we should also consider converting all man |
16 |
> > > and info pages to html... |
17 |
> > > |
18 |
> > > it doesn't make any sense... |
19 |
> > |
20 |
> > Yet there are many websites that show these converted man pages, as |
21 |
> > well as users looking them up there; that it doesn't make sense for |
22 |
> > you doesn't necessarily mean that nobody else is doing it. |
23 |
> |
24 |
> *Websites* is the keyword here. |
25 |
|
26 |
Yes, it connects the dots between man pages and a browser. |
27 |
|
28 |
> > > simply provide or suggest a markdown |
29 |
> > > capable viewer to the user |
30 |
> > |
31 |
> > Yet another viewer I have to install; imagine that I had to do the |
32 |
> > same for video formats, then I'd have to install an AVI player, a |
33 |
> > MKV player, a MP4 player, a MOV player, an OGG player, a VOB |
34 |
> > player, ... |
35 |
> > |
36 |
> > No, I'd rather have a single converted format and/or a single |
37 |
> > player. |
38 |
> |
39 |
> Yet you don't mind most of our users installing a Markdown converter |
40 |
> (and possibly even more converters) in the sake of converting docs to |
41 |
> the format you like... |
42 |
|
43 |
Exactly, it is a single tool as opposed to multiple. |
44 |
|
45 |
-- |
46 |
With kind regards, |
47 |
|
48 |
Tom Wijsman (TomWij) |
49 |
Gentoo Developer |
50 |
|
51 |
E-mail address : TomWij@g.o |
52 |
GPG Public Key : 6D34E57D |
53 |
GPG Fingerprint : C165 AF18 AB4C 400B C3D2 ABF0 95B2 1FCD 6D34 E57D |