Rename lins.bib to LINS.bib

FriedrichRober · FriedrichRober · commit 8c7ba5131dc9 · 2024-03-13T11:47:08.000+01:00
diff --git a/doc/LINS.bib b/doc/LINS.bib
@@ -1,4 +1,4 @@
-@misc{Firth,
+@phdthesis{Firth,
   author      = {Ph.D. thesis},
   school      = {David Firth},
   title       = {An Algorithm to Find Normal Subgroups of a Finitely Presented Group, up to a Given Finite Index},
diff --git a/makedoc.g b/makedoc.g
@@ -25,7 +25,6 @@ AutoDoc( rec( scaffold := rec(
             "license.xml",
             ],
         ),
-        bib := "lins.bib",
         extract_examples := true,
         autodoc := true ) );
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-@misc{Firth,`
	`1`	`+@phdthesis{Firth,`
`2`	`2`	`author = {Ph.D. thesis},`
`3`	`3`	`school = {David Firth},`
`4`	`4`	`title = {An Algorithm to Find Normal Subgroups of a Finitely Presented Group, up to a Given Finite Index},`