Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-12 11:38:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Merge remote branch 'origin/topic/jsiwek/misc-doc-fixes'

Browse source 
* origin/topic/jsiwek/misc-doc-fixes:
  More tweaks to generated script docs.
  Various changes to documentation framework.

Closes #598.
This commit is contained in:
Robin Sommer 2011-09-08 08:41:12 -07:00
commit db8ab89c3a
21 changed files with 169 additions and 119 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/BroDoc.cc
View file

@ -227,6 +227,7 @@ void BroDoc::WriteDocFile() const
WriteToDoc("%s\n", packet_filter.c_str());
}
#if 0 // Disabled for now.
BroDocObjList::const_iterator it;
bool hasPrivateIdentifiers = false;
@ -241,6 +242,7 @@ void BroDoc::WriteDocFile() const
if ( hasPrivateIdentifiers )
WriteInterface("Private Interface", '-', '~', false, false);
#endif
}
void BroDoc::WriteInterface(const char* heading, char underline,