Summary

A patch from Helmut Grohne to add an option to disable building the docs

Review Request #945 — Created Sept. 26, 2021 and submitted Sept. 26, 2021, 3:37 a.m.

Owner

grim

Repository

libgnt/libgnt

Branch

release-2.x.y

Bugs

Depends On

Groups

People

Description

A patch from Helmut Grohne to add an option to disable building the docs

Testing Done

Built with the option on and off.

Commits

Summary	ID
A patch from Helmut Grohne to add an option to disable building the docs	3934d11f3c94deb841c5996d6d51c20dac771dfb

Testing Done:: ~
Build with the option on and off.
~
Built with the option on and off.

Ship it!

~		Build with the option on and off.
	~	Built with the option on and off.