diff options
author | Kristaps Dzonsons <kristaps@bsd.lv> | 2011-12-15 12:05:19 +0000 |
---|---|---|
committer | Kristaps Dzonsons <kristaps@bsd.lv> | 2011-12-15 12:05:19 +0000 |
commit | 87d272e845827d8144a666ae93fee42f806822c5 (patch) | |
tree | f62d74766d6848dd646ecd83c8ebca81beec2dd4 /Makefile | |
parent | 0ca8cf3cd36d40309e683fee5abc6174df49fe15 (diff) | |
download | mandoc-87d272e845827d8144a666ae93fee42f806822c5.tar.gz |
Some presentation polish in man.cgi:
- include search bar above result page (I relent: it's annoying to
follow three links then press back three times to get a search page);
- make man.cgi.css into man-cgi.css so Apache isn't confused by two
handlers (css, cgi);
- finally consolidate example.style.css to be under the div.mandoc css
selector;
- put catman pages under div.catman;
- put search bar under div#mancgi;
- reflect this properly in the bundled CSS files.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -107,7 +107,7 @@ SRCS = Makefile \ man.7 \ man.c \ man.cgi.7 \ - man.cgi.css \ + man-cgi.css \ man.h \ man_hash.c \ man_html.c \ @@ -482,7 +482,7 @@ installcgi: all mkdir -p $(DESTDIR)$(HTDOCDIR) $(INSTALL_PROGRAM) man.cgi $(DESTDIR)$(CGIBINDIR) $(INSTALL_DATA) example.style.css $(DESTDIR)$(HTDOCDIR)/man.css - $(INSTALL_DATA) man.cgi.css $(DESTDIR)$(HTDOCDIR) + $(INSTALL_DATA) man-cgi.css $(DESTDIR)$(HTDOCDIR) installwww: www mkdir -p $(PREFIX)/snapshots |