diff options
Diffstat (limited to 'docs/src/Submakefile')
| -rw-r--r-- | docs/src/Submakefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/src/Submakefile b/docs/src/Submakefile index 383e1b89a..c1b3a70ea 100644 --- a/docs/src/Submakefile +++ b/docs/src/Submakefile @@ -35,6 +35,7 @@ DOC_SRCS := \ common/Glossary_es.txt \ common/Glossary_fr.txt \ common/GPLD_Copyright.txt \ + common/GPLD_Copyright_fr.txt \ common/Integrator_Concepts.txt \ common/Integrator_Concepts_de.txt \ common/Integrator_Concepts_es.txt \ |