4 commits

Author	SHA1	Message	Date
Denis Carikli	0f91592dac	gnome-user-docs: fix missing gnome-help.	2026-05-11 17:06:30 -06:00
Luis Guzmán	f50f475cd5	misc: rename function 'compile' to 'package' on helpers.	2023-11-15 05:52:04 +00:00
Ruben Rodriguez	3136a2c93b	gnome-user-docs: fixed ubuntu-docs removal	2020-01-17 15:19:30 -05:00
Ruben Rodriguez	60314bd78f	Added make-gnome-user-docs, removes ubuntu-docs dependency	2020-01-17 15:06:04 -05:00