diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Makefile.in b/Makefile.in index ab58e56b..48cd2467 100644 --- a/Makefile.in +++ b/Makefile.in @@ -265,14 +265,6 @@ user_doc: $(HDR_FILES_SRC) Doxyfile.user $(HTML_SRC) $(HELP_SRC) doc.h $(HDR_FIL cd user_doc/html; rm -f bc_s.png bdwn.png closed.png ftv2*.png nav*.png open.png sync_*.png tab*.* doxygen.* dynsections.js jquery.js pages.html # -# Build the help CSS files, using fish_lexicon_filter -# -doc_src/user_doc.css: doc_src/user_doc.css.in doc_src/fish_lexicon_filter - -rm $@ - cd doc_src; \ - cat user_doc.css.in >> user_doc.css - -# # Source code documentation. Also includes user documentation. # |