[spec] Ddoc generator issue?

[Dibyendu Majumdar]

On Friday, 17 May 2019 at 13:40:42 UTC, Jonathan M Davis wrote:
> The normal workflow is to fork the repo on github then clone 
> your entire repo locally. You keep your master up-to-date with 
> the upstream master and create a local branch whenever you want 
> to do work for a PR. Once it's ready, you push that branch to 
> your github repo and create a PR from that branch to upstream. 
> Separate branches are used for each PR, and you usually delete 
> each branch after a PR has been merged. Because that's the 
> normal workflow that pretty much everyone follows, it's really 
> not surprising if the Makefiles assume something based on that 
> workflow and don't work properly if you do something 
> differently. In general though, I have no idea how you could 
> function without a local copy of master, because you need to be 
> branching off of master when creating PRs, or you risk working 
> on outdated versions of the files.

I create a branch off master using Github UI - and then set that 
branch to be the default so that when I cloned the repo, it was 
on my branch. I think if I didn't set the default branch to my 
own and left it as master it would work fine.

Regards