You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Finally, extending the Makefile would also work. But in my opinion anyone who works with git should have the commands below in his fingers (or something similar). :)
So, the second option to keep the paper template up to date might be a good idea. I personally don't use the Makefile because it just runs standard commands that are in my fingers. If you find it useful to add another target for the above commands, we could add it.
It would be great if the submodules could be updated to the current version, eg when doing
make init
or alikeThe text was updated successfully, but these errors were encountered: