More DP -> PG toolchain notes

13 views
Skip to first unread message

Tom Morris

unread,
Mar 27, 2015, 4:15:54 PM3/27/15
to gitenber...@googlegroups.com
The process to convert from a DP text with homegrown markup to an HTML file that can be submitted to PG is long, involved, and largely manual as illustrated by these checklists:


It looks like there are some new tools that some people are using 

ppgen - an HTML generator with homegrown markup language(!) - https://github.com/wf49670/ppgen
ppgen markup source examples - http://www.pgdp.org/~gm/ppgen_source/
ppgen markup generator - converts from DP output text to PPGEN markup - https://github.com/davem2/dp2ppgen

If you're wondering if an HTML file that you have was generated by ppgen, look for the following comment at the end:

  </body>
  <!-- created with ppgen.py 3.46b on 2015-02-07 02:35:10 GMT -->
</html>

There's another tool called PPQT which has HTML generation built in: 



I'm not sure how widely used it is, but I'm guessing less than PPGEN.

Tom

Reply all
Reply to author
Forward
0 new messages