134
162
clean clean_docs clean_tex:
135
163
rm -f $(TEX_FILES_USERS_GUIDE) $(TEX_FILES_REF_MAN) $(TEX_FILES_BOOK)
136
164
rm -f $(HTML_FILES) $(MAN3_FILES)
137
165
rm -f $(TOP_PDF_FILE) $(TOP_PS_FILE)
138
166
rm -f errs core *~ *xmls_output *xmls_errs $(LATEX_CLEAN)
144
177
# ----------------------------------------------------