[Bug gas/30092] Build failed due to directory gas/doc was not created

[amodra at gmail dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=30092

--- Comment #7 from Alan Modra <amodra at gmail dot com> ---
Huh, thanks for sorting out the problem.  Unfortunately the next commit doesn't
just delete .dirstamp but also bumps the version and sets development=true.  So
we can't make the problem disappear by moving the tag,  We'd need to rewrite
history on the branch, which isn't allowed for anyone including me.

-- 
You are receiving this mail because:
You are on the CC list for the bug.