diff options
| author | erco77 <erco@seriss.com> | 2023-11-14 07:01:52 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-14 07:01:52 -0800 |
| commit | 6842a43a3170c6f7a852186d5688baebdac16e2c (patch) | |
| tree | 04493580bf8fc798858720c7ab7ffecedeb9ee3e /documentation/Makefile | |
| parent | 83f6336f3b024f4a7c55a7499d036f03d946c1b9 (diff) | |
Fl_Terminal widget (#800)
Pull Fl_Terminal widget from Greg's fork
Diffstat (limited to 'documentation/Makefile')
| -rw-r--r-- | documentation/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index c75dd567c..5643ba118 100644 --- a/documentation/Makefile +++ b/documentation/Makefile @@ -48,7 +48,8 @@ HTMLFILES = \ $(SRC_DOCDIR)/development.dox \ $(SRC_DOCDIR)/license.dox \ $(SRC_DOCDIR)/examples.dox \ - $(SRC_DOCDIR)/faq.dox + $(SRC_DOCDIR)/faq.dox \ + $(SRC_DOCDIR)/Fl_Terminal.dox MANPAGES = $(SRC_DOCDIR)/fltk.$(CAT3EXT) $(SRC_DOCDIR)/fltk-config.$(CAT1EXT) \ $(SRC_DOCDIR)/fluid.$(CAT1EXT) $(SRC_DOCDIR)/blocks.$(CAT6EXT) \ |