commit 1c675717fa5753feff149c7360e36feec08358ce
author Ernesto Lanchares <e.lancha98@gmail.com> Wed Oct 16 16:24:43 2019 +0200
committer Ernesto Lanchares <e.lancha98@gmail.com> Wed Oct 16 16:24:43 2019 +0200
tree 0fac80b978a5edbaa2c18247031a0aba8f5f4910
parent 5a81834edae97df34fc1d708a746459c5f161c94

Lo del indice padre

apuntsfme.dtx

diff --git a/apuntsfme.dtx b/apuntsfme.dtx
index 31ebe48..68ba730 100644
--- a/apuntsfme.dtx
+++ b/apuntsfme.dtx
@@ -412,7 +412,7 @@
 {\bfseries}% Thm head font
 {}%        Punctuation after thm head
 {5pt plus 1pt minus 1pt}% Space after thm head: \newline = linebreak
-{\index{#3((defi:#2))}\label{defi:#2}\thmname{#1}\thmnumber{ #2}.}% Thm head specko
+{\idx{#3}\thmname{#1}\thmnumber{ #2}.}% Thm head specko
 %    \end{macrocode}
 %
 % \subsection{Options}