2 commits

Author	SHA1	Message	Date
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