diff options
Diffstat (limited to 'helpcontent2/source/text/shared/optionen/makefile.mk')
-rw-r--r-- | helpcontent2/source/text/shared/optionen/makefile.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/helpcontent2/source/text/shared/optionen/makefile.mk b/helpcontent2/source/text/shared/optionen/makefile.mk index 4226bd978d..9cb1349a02 100644 --- a/helpcontent2/source/text/shared/optionen/makefile.mk +++ b/helpcontent2/source/text/shared/optionen/makefile.mk @@ -117,6 +117,7 @@ XHPFILES = \ 01160100.xhp \ 01160200.xhp \ 01160201.xhp \ + improvement.xhp \ java.xhp \ javaclasspath.xhp \ javaparameters.xhp \ |