Add devhelp docs
https://github.com/linuxmint/cinnamon-menus/commit/efebe9a1d78ee4bc827c91025d81d41bc7741730#diff-6e9552c9bd8e61c8f277c21220160234
Fabio Fantoni
4 years ago
|
0 |
cinnamon-menus (4.2.0-2~) UNRELEASED; urgency=medium
|
|
1 |
|
|
2 |
* Add devhelp docs
|
|
3 |
|
|
4 |
-- Fabio Fantoni <fantonifabio@tiscali.it> Thu, 05 Sep 2019 13:28:33 +0200
|
|
5 |
|
0 | 6 |
cinnamon-menus (4.2.0-1) experimental; urgency=medium
|
1 | 7 |
|
2 | 8 |
* New upstream release (4.2.0)
|
11 | 11 |
debhelper (>= 11~),
|
12 | 12 |
gnome-pkg-tools,
|
13 | 13 |
gobject-introspection (>= 0.9.12-4~),
|
|
14 |
gtk-doc-tools (>= 1.4),
|
14 | 15 |
intltool (>= 0.40.0),
|
15 | 16 |
libgirepository1.0-dev (>= 0.10.7-1~),
|
16 | 17 |
libglib2.0-dev (>= 2.30.0),
|
1 | 1 |
usr/lib/*/*.so
|
2 | 2 |
usr/lib/*/pkgconfig
|
3 | 3 |
usr/share/gir-1.0
|
|
4 |
usr/share/gtk-doc
|
5 | 5 |
%:
|
6 | 6 |
dh $@
|
7 | 7 |
|
|
8 |
override_dh_auto_configure:
|
|
9 |
dh_auto_configure -- \
|
|
10 |
-D enable_docs=true
|
|
11 |
|
8 | 12 |
override_dh_missing:
|
9 | 13 |
dh_missing --list-missing
|
10 | 14 |
|