Skip to content

docheck: make doccheck executable from any directory#8220

Merged
miri64 merged 1 commit intoRIOT-OS:masterfrom
miri64:dist/enh/docheck
Dec 18, 2017
Merged

docheck: make doccheck executable from any directory#8220
miri64 merged 1 commit intoRIOT-OS:masterfrom
miri64:dist/enh/docheck

Conversation

@miri64
Copy link
Copy Markdown
Member

@miri64 miri64 commented Dec 7, 2017

The doccheck script reports reports a false positive when executed from
any directory but RIOTBASE. With this fix, make doc changes into
the currently unused RIOTBASE variable.

This is an alternative approach to #7217, which removes this variable,
but keeps the false positive aspect of the script untouched.

The doccheck script reports reports a false positive when executed from
any directory but `RIOTBASE`. With this fix, `make doc` changes into
the currently unused `RIOTBASE` variable.

This is an alternative approach to RIOT-OS#7217, which removes this variable,
but keeps the false positive aspect of the script untouched.
@miri64 miri64 added Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors) Area: doc Area: Documentation Area: tools Area: Supplementary tools labels Dec 7, 2017
@miri64 miri64 added the CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR label Dec 7, 2017
Copy link
Copy Markdown
Member

@jnohlgard jnohlgard left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Changes look good to me

@miri64
Copy link
Copy Markdown
Member Author

miri64 commented Dec 7, 2017

Since this is in contest to #7217 I'd like to give @OlegHahm at least some chance to react.

Copy link
Copy Markdown
Member

@smlng smlng left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

DUPACK, tested and works as expected. Also like it better than the alternative, lets do this!

@smlng
Copy link
Copy Markdown
Member

smlng commented Dec 18, 2017

some chance to react.

do >10 days satisfy this condition already 😉

@miri64
Copy link
Copy Markdown
Member Author

miri64 commented Dec 18, 2017

Yepp, especially since I already notified @OlegHahm offline ;-)

@miri64 miri64 merged commit a4d3310 into RIOT-OS:master Dec 18, 2017
@miri64 miri64 deleted the dist/enh/docheck branch December 18, 2017 09:50
@aabadie aabadie added this to the Release 2018.01 milestone Jan 18, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area: doc Area: Documentation Area: tools Area: Supplementary tools CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants