author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Wed, 05 Aug 2015 23:55:34 +0300 | |
changeset 1729 | 22ffd80639c0 |
parent 1334 | 9bf0d5a1f0cf |
child 1905 | fba288d59662 |
permissions | -rw-r--r-- |
1334
9bf0d5a1f0cf
Include common header with quick links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1032
diff
changeset
|
1 |
.. -*- coding: utf-8; -*- |
9bf0d5a1f0cf
Include common header with quick links.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
1032
diff
changeset
|
2 |
.. include:: HEADER.rst |
980 | 3 |
|
4 |
======= |
|
5 |
Menu. |
|
6 |
======= |
|
7 |
.. contents:: |
|
8 |
||
9 |
Desktop format. |
|
10 |
=============== |
|
11 |
||
12 |
https://wiki.ubuntu.com/PackagingGuide/Howtos/DesktopFiles |
|
981 | 13 |
Desktop Files |
980 | 14 |
|
981 | 15 |
Debian menu system. |
16 |
=================== |
|
17 |
:: |
|
18 |
||
19 |
$ sudo apt-get install menu |
|
20 |
||
21 |
See: |
|
22 |
||
23 |
http://www.debian.org/doc/packaging-manuals/menu.html/ |
|
24 |
Debian Menu System |
|
25 |