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
For the xr package etc., it would be nice if one could write a dependency on an auxiliary file of another file. Currently, one has to write something like:
For the
xr
package etc., it would be nice if one could write a dependency on an auxiliary file of another file. Currently, one has to write something like:Note that the above rules should be defined after
$(BUILDDIR)
is set.The text was updated successfully, but these errors were encountered: