1160 |
GTK2GUI_SRCS= \ |
GTK2GUI_SRCS= \ |
1161 |
$(SRC_GUI)/guiNetHtmlScanner.mll \ |
$(SRC_GUI)/guiNetHtmlScanner.mll \ |
1162 |
$(SRC_GUI)/guiNetHtml.ml \ |
$(SRC_GUI)/guiNetHtml.ml \ |
|
$(SRC_GUI)/guiHtml.ml \ |
|
1163 |
$(SRC_GUI)/guiGlobal.ml \ |
$(SRC_GUI)/guiGlobal.ml \ |
1164 |
$(SRC_GUI)/guiMisc.ml \ |
$(SRC_GUI)/guiMisc.ml \ |
1165 |
|
$(SRC_GUI)/guiHtml.ml \ |
1166 |
$(SRC_GUI)/guiCom.ml \ |
$(SRC_GUI)/guiCom.ml \ |
1167 |
$(SRC_GUI)/guiStatusBar.ml \ |
$(SRC_GUI)/guiStatusBar.ml \ |
1168 |
$(SRC_GUI)/guiUsers.ml \ |
$(SRC_GUI)/guiUsers.ml \ |