使用外部文件在独立文档中提供标签

Question

是否可以从另一个编译中为乳胶文件提供标签？让我们看一个小例子。

确切地说，我有一个包含所有标签的文件，名为main.labels：

$ cat main.labels
...
\newlabel{cref@sec:basics-sets}{[section][1][]3.1}
\newlabel{sec:basics-sets}{3.1}
...

我假装在我的乳胶文件中使用它，如下所示：

$ cat main.tex
\documentclass{article}
\usepackage[english]{babel}
\usepackage{hyperref}
\usepackage{cleveref}
\input{main.labels}

\begin{document}
....
In \cref{sec:basics-sets}
...
\end{document}

我使用以下方法获得此结果latexmk：

$ latexmk -pdf main.tex
...
Latexmk: List of undefined refs and citations:
  Reference `sec:basics-sets' on page 1 undefined on input line 9
...