17 files changed, 0 insertions, 0 deletions
diff --git a/doc/refman/Extraction.tex b/doc/refman/Extraction.tex
index a68969c38a..a68969c38a 100755..100644
--- a/doc/refman/Extraction.tex
+++ b/doc/refman/Extraction.tex
diff --git a/doc/refman/Natural.tex b/doc/refman/Natural.tex
index 69dfab87c6..69dfab87c6 100755..100644
--- a/doc/refman/Natural.tex
+++ b/doc/refman/Natural.tex
diff --git a/doc/refman/Omega.tex b/doc/refman/Omega.tex
index bbf17f6304..bbf17f6304 100755..100644
--- a/doc/refman/Omega.tex
+++ b/doc/refman/Omega.tex
diff --git a/doc/refman/RefMan-add.tex b/doc/refman/RefMan-add.tex
index d04d1468fe..d04d1468fe 100755..100644
--- a/doc/refman/RefMan-add.tex
+++ b/doc/refman/RefMan-add.tex
diff --git a/doc/refman/RefMan-cas.tex b/doc/refman/RefMan-cas.tex
index c79c14e9bb..c79c14e9bb 100755..100644
--- a/doc/refman/RefMan-cas.tex
+++ b/doc/refman/RefMan-cas.tex
diff --git a/doc/refman/RefMan-cic.tex b/doc/refman/RefMan-cic.tex
index 52745b7a95..52745b7a95 100755..100644
--- a/doc/refman/RefMan-cic.tex
+++ b/doc/refman/RefMan-cic.tex
diff --git a/doc/refman/RefMan-coi.tex b/doc/refman/RefMan-coi.tex
index 120c1201ef..120c1201ef 100755..100644
--- a/doc/refman/RefMan-coi.tex
+++ b/doc/refman/RefMan-coi.tex
diff --git a/doc/refman/RefMan-com.tex b/doc/refman/RefMan-com.tex
index 730100eedd..730100eedd 100755..100644
--- a/doc/refman/RefMan-com.tex
+++ b/doc/refman/RefMan-com.tex
diff --git a/doc/refman/RefMan-ind.tex b/doc/refman/RefMan-ind.tex
index 3389382af0..3389382af0 100755..100644
--- a/doc/refman/RefMan-ind.tex
+++ b/doc/refman/RefMan-ind.tex
diff --git a/doc/refman/RefMan-int.tex b/doc/refman/RefMan-int.tex
index b1f4b26b80..b1f4b26b80 100755..100644
--- a/doc/refman/RefMan-int.tex
+++ b/doc/refman/RefMan-int.tex
diff --git a/doc/refman/RefMan-lib.tex b/doc/refman/RefMan-lib.tex
index 5a022c74e5..5a022c74e5 100755..100644
--- a/doc/refman/RefMan-lib.tex
+++ b/doc/refman/RefMan-lib.tex
diff --git a/doc/refman/RefMan-pre.tex b/doc/refman/RefMan-pre.tex
index 4559aaf471..4559aaf471 100755..100644
--- a/doc/refman/RefMan-pre.tex
+++ b/doc/refman/RefMan-pre.tex
diff --git a/doc/refman/RefMan-pro.tex b/doc/refman/RefMan-pro.tex
index 7565612d14..7565612d14 100755..100644
--- a/doc/refman/RefMan-pro.tex
+++ b/doc/refman/RefMan-pro.tex
diff --git a/doc/refman/RefMan-syn.tex b/doc/refman/RefMan-syn.tex
index 95f3d806b0..95f3d806b0 100755..100644
--- a/doc/refman/RefMan-syn.tex
+++ b/doc/refman/RefMan-syn.tex
diff --git a/doc/refman/RefMan-tus.tex b/doc/refman/RefMan-tus.tex
index 8be5c9635c..8be5c9635c 100755..100644
--- a/doc/refman/RefMan-tus.tex
+++ b/doc/refman/RefMan-tus.tex
diff --git a/doc/refman/RefMan-uti.tex b/doc/refman/RefMan-uti.tex
index 8c4c5edb8a..8c4c5edb8a 100755..100644
--- a/doc/refman/RefMan-uti.tex
+++ b/doc/refman/RefMan-uti.tex
diff --git a/doc/refman/biblio.bib b/doc/refman/biblio.bib
index 378936d9a8..378936d9a8 100755..100644
--- a/doc/refman/biblio.bib
+++ b/doc/refman/biblio.bib