dune: update files to be shared (#185)

fblanqui · web-flow · commit b6b7a2bf086a · 2025-08-01T11:39:36.000+02:00
diff --git a/dune b/dune
@@ -5,7 +5,7 @@
 )
 
 (install
- (files theory_hol.dk theory_hol.lp encoding.lp renaming.lp fusion.ml bool.ml equal.ml xnames.ml patch unpatch config Makefile progress README.md)
+ (files theory_hol.dk theory_hol.lp encoding.lp renaming.lp fusion.ml bool.ml equal.ml xnames.ml patch unpatch config Makefile progress README.md BIG_FILES part.mk spec.mk)
  (section share)
  (package hol2dk)
 )

Original file line number	Diff line number	Diff line change
`@@ -5,7 +5,7 @@`
`5`	`5`	`)`
`6`	`6`
`7`	`7`	`(install`
`8`		`- (files theory_hol.dk theory_hol.lp encoding.lp renaming.lp fusion.ml bool.ml equal.ml xnames.ml patch unpatch config Makefile progress README.md)`
	`8`	`+ (files theory_hol.dk theory_hol.lp encoding.lp renaming.lp fusion.ml bool.ml equal.ml xnames.ml patch unpatch config Makefile progress README.md BIG_FILES part.mk spec.mk)`
`9`	`9`	`(section share)`
`10`	`10`	`(package hol2dk)`
`11`	`11`	`)`